A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Repository Index
78,351 visible repositories in the index
625–648 of 952 · Most stars
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
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Persistent sorted maps and sets with log-time rank queries
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
- dlang
- bindbc
- sdl-mixer
- sdl-image
A fast, purely functional data structure library in Common Lisp.
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
OCaml bindings to the SQLite3 database
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
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
- programming-language
- windows
- scripting-language
- compiler
GTK4 bindings for Crystal
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation
- golang
- go
- trylock
- mutex
Library for lexing and parsing D source code
Bindings to the Tauri API for projects using wasm-bindgen
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
LibRaylib Bindings for Crystal.
- crystal
- binding
- framework
- gamedev
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.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A tool for Swift code modification intermediating between code generation and formatting.
- swift
- cli
- formatter
- code-generator
Fast HTML5 parser with CSS selectors for Crystal language
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars