Starred repositories
A decentralized binary cache for Nix over Git
A highly expressive programming language and live coding runtime for distributed computation.
LLVM plugin to compile your code at runtime. Automagically ✨
A dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.
A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.
An extensible, state of the art columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Linux Foundation.
Compiler analyses, optimizations, and other passes for BRIL
The WebRacket language is a subset of Racket that compiles to WebAssembly
Gossip-based service discovery (and more) for large distributed systems.
Circuit Artist is a digital circuit drawing and simulation game.
From Zero to QED: An informal introduction to formality with Lean 4
First-class compile‑time Arrow schemas for Rust.
head/tail for structured data - summarize/preview JSON/YAML and source code
A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
A Lisp interpreter implemented in Conway's Game of Life
The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
A spreadsheet where formulas also update backwards