Repository Index

Dynamic library delivery tools for SBCL.

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

Python promises

• python
• promises
• promise
• promise-library

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

go-lock is a lock library implementing read-write mutex and read-write trylock without starvation

• golang
• go
• trylock
• mutex

Actor library for C# with additional modules that support persistence to Redis, as well as JS integration

Go asynchronous simple function utilities, for managing execution of closures and callbacks

• goroutine
• callback
• closure
• golang

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

A bridge between Python and Lisp (FFI bindings, etc.)

Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.

Lightweight Promises for Swift & Obj-C

• futures
• promises
• swift
• objective-c

Thread-agnostic Actors in Common Lisp

A light-weighted Promise library for Objective-C

Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars

A Task-based LINQ designed to work with async/await

Super Monadic Über Go-into : parser combinators for Common Lisp

Common Lisp for Python

• common-lisp
• python

The easiest Future and Promises framework in Swift. No magic. No boilerplate.

• swift
• futures
• promises
• generics

A parallelized stream implementation for Elixir

• stream
• elixir
• parallelize
• parallelism

WebAssembly runtime for Crystal

• crystal
• crystal-lang
• crystal-language
• webassembly

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

• glfw
• glfw3
• glfw3-bindings
• java

Transpile Golang into Arduino code to use fully automated testing at your IoT projects.

• go
• golang
• arduino
• transpiler