Repository Index

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

Complete SQLite API translation and simple wrapper for Delphi and FreePascal

Write LÖVE 2D projects with TypeScript

• love2d
• typescript
• typescript-declaration
• lua

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

• common-lisp
• reader
• extensible
• error-recovery

A JavaScript based Gameboy Assembler

A collection of LPEG patterns

• lua
• lpeg
• uri
• uri-parser

Compose promise-returning & async functions into a reusable pipeline

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

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

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

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

A decent CSS parser.

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

Haxe native extension for the Steam API

Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data

• clojure
• clojurescript
• debugging
• repl

A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.

• go
• golang
• data-structures
• functional

tiny (2.7kb) functional programming library using native es5/6 operations

Fork of LuaCrypto, which enables encryption and decryption through OpenSSL

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

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

Pattern Matching library for go

• branching
• conditions
• golang
• matching

🚦 Semaphore pattern implementation with timeout of lock/unlock operations.

• go
• golang
• library
• module

CMake precompiled header support via custom PCH compiler extension

• cmake
• cmake-precompiled-headers
• clang
• gcc

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

• go
• golang
• arduino
• transpiler