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.
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Versatile Go code generator.
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
Parallelism for Common Lisp
Clojure-style concurrency operations in Common Lisp
A portable reader and bridge for interacting with Objective-C and Cocoa
A very tiny and fast compose function.
The universal ISSR server compatible with <your-favorite-programming-language>
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Hand-written bindings to Raylib for Common Lisp.
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.
- dlang
- glfw-bindings
- bindbc
- glfw
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
webui bindings for Common Lisp
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Common Lisp (Parenscript) library for React
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language