Ranked by Attention Score: stars gained over the last 7 complete days
501–550 of 550 by Attention Score · Oct 29, 2026 – Nov 4, 2026 (UTC)
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.
A library for formalizing Haskell types and functions in Coq
The Ink language parser and runtime implementation in Lua
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
Lua binding library for modern C++
A realtime visual programming language for interactive media.
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
A compiler for the 🎃 Spooky 😱 programming language 👻
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
A library of mechanised undecidability proofs in the Coq proof assistant.
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
A mysqldump anonymizer
A fast, purely functional data structure library in Common Lisp.
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
Async node.js interface to Blackmagic Design capture and playback devices.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.
Pure Go FFI for WebGPU - CGO-free GPU access via wgpu-native bindings
Opinionated typing package for precise type hints in Python
The Rockstar programming language specification
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
Ada WASM Runtime and Bindings for Web API
Monadic effects and equational reasoning in Rocq
A parser for .ldtk levels for GameMaker
Common Lisp bindings and interface to the Allegro 5 game programming library
Compilation and Verification of Data-Centric Languages
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Finite sets, finite maps, multisets and generic sets
Graph Theory [maintainers=@chdoc,@damien-pous]
Old Coq plugin for parametricity [maintainer=@ppedrot]
Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Machine learning compiler in Go. A from-scratch tinygrad port: graph-rewrite IR, autodiff as a compiler pass, zero-CGO WebGPU backend.
D bindings for the sokol headers (https://github.com/floooh/sokol)
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
Dynamic bindings to the CUDA library for the D Programming Language.
MLIR Toolkit in Elixir and Zig.
A production-quality expert-system shell, written in thoroughly modern Common Lisp.