Repository Index

A fast and simple .NET parsing library

Sciter component for Delphi

brain-dead simple parallel processing for ruby

a tool for handling file uploads simple

• file
• upload
• multipart
• http

An elixir module for parallel execution of functions/processes

PHP bindings for Tarantool Queue.

• tarantool
• queue
• php
• nosql

BEAM friendly spinlocks for Elixir/Erlang

• concurrency
• concurrent-data-structure
• parallel-programming

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Cocoa binding for Common Lisp on macOS

Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.

• concurrent
• golang
• golang-library
• data-science

Parallelism for Common Lisp

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Paralleling pipeline

Run functions in parallel :comet:

• go
• concurrency
• goroutines

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Make functions return a channel for parallel processing via go routines.

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

A library that brings all the CSP joy to the Elixir land.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

A collection of tools for Golang

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

Fast and flexible HTTP request parser for Go

• go-library
• golang
• http
• middleware