Stars
Generic library for real-time communications with async IO support
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
Strymonas for OCaml with modular macros
Wii and Wii U support kernel extensions for Mac OS X
An experiment to see what interpretation into (pre)sheaves categories look like
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…
Polyglot compiler stitching together GHC, Mercury, rustc, Koka, and MLIR
C3-like with fun syntax and little ceremony. fin transpiles to C11, shipping a static Clang distribution.
A compiler and runtime for normalizing the untyped λ-calculus
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Optimizer and compiler/toolchain library for WebAssembly
Agda is a dependently typed programming language / interactive theorem prover.
ⵣ Ki Editor - Multi-cursor combinatoric modal editor.
Bricolage Grotesque is an expressive variable font with weight, width and optical size axis
🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.
Help keeping ~/.config/emacs clean
The WebRacket language is a subset of Racket that compiles to WebAssembly
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Atlas77 is a programming language in development written in Rust