Repository Index

The Penn Locally Nameless Metatheory Library

brain-dead simple parallel processing for ruby

Limits the number of goroutines that are allowed to run concurrently

• concurrency
• golang
• goroutine

Wrapper for feeder. Elixir RSS parser

A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall

• nlp
• parsing
• ruby
• spacy

A total recursion scheme library for Dhall

• dhall
• recursion-schemes

Elixir binding to Detergent erlang library used to call WSDL/SOAP Services

An elixir module for parallel execution of functions/processes

Lua binging for Delphi

Common Lisp bindings and interface to the Allegro 5 game programming library

• common-lisp
• game-development
• allegro5
• bindings

BEAM friendly spinlocks for Elixir/Erlang

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

Parse placeholder and wildcard text commands

• parsing
• go
• golang
• text

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Call python from Common Lisp

• common-lisp
• python
• library

Parallelize _anything_ //

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

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Iterate over promises serially

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

Map over promises serially

TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)

• delphi
• easy-to-use
• freepascal
• game

Pure Python parser for classic Windows Event Log files (.evt)

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

D binding to the Allegro5 game development library