61,121 visible repositories in the index
49–68 of 68 · Most stars
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
pure functional and generic programming for Erlang
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]
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
IGraph/M is the igraph interface for Mathematica
Hoare Type Theory
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
The Penn Locally Nameless Metatheory Library
A Rocq formalization of information theory and linear error-correcting codes
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
GObject Introspection D Package Repository
Graph Theory [maintainers=@chdoc,@damien-pous]
An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V
Coq library on rewriting theory and termination
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Practice recognizing chords in this Rust/Yew/Webassembly app
A Simple DSL to create Directory Tree with Text Files
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.