Repository Index

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

• programming-language
• windows
• scripting-language
• compiler

Dynamic library delivery tools for SBCL.

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

Python promises

• python
• promises
• promise
• promise-library

Clojure support for protocol buffers

• clojure
• protobuf
• protobuf3
• protobuf-java

Async node.js interface to Blackmagic Design capture and playback devices.

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

Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.

• ast
• cli
• go
• golang

Vert.x for Scala

Convert string to duration in golang

• golang
• string
• duration
• convert

These are the Pascal SDL 2 Headers.

LibRaylib Bindings for Crystal.

• crystal
• binding
• framework
• gamedev

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

• goroutine
• callback
• closure
• golang

Coroutine-based multithreading library for Delphi

• delphi
• greenlet
• coroutines
• golang

Go bindings for FANN, library for artificial neural networks

Simple I/O event notification library wirtten in Golang

• epoll
• go
• networking
• event

C# bindings for Sciter - create HTML/CSS/JS based native apps

• sciter

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.

A parser/renderer for Aseprite animations in LÖVE. :peach:

• love2d
• love
• love2d-framework
• animation

Canon SDK for Java

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

LÖVE Async Asset Loader

• love
• love2d
• lua
• async