Haskell implemented with combinators

The Mercury logic programming system.

Model Drive Protocol (MDP): MDP turns runtime-local capabilities into MCP-reachable capabilities.

Emacs minor mode to automatically balance window margins

Fast Rust-based bundler for the web with a modernized webpack API 🦀

Janet bindings to Raylib

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Adding `vau` with an immutable dynamic environment to Chez Scheme

Bootstrapping Guile's psyntax.pp without relying on pre-expanded code

Mozart Programming System v2

Media over QUIC: Real-time latency at massive scale

Static website and blog generator written in nix

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Draw elegant metro maps with ease

Main engine of the IronCalc ecosystem

A formalized proof of Carleson's theorem in Lean

The Kernel of CharlotteOS, An Experimental Modern Operating System

Simple and fast static-page NixOS option search

Implementation of the Cedar Policy Language

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

A little fail-safe filesystem designed for microcontrollers

Nix flake for a fully declarative NixOS on Raspberry Pi

A functional programming language which does not require the heap at run-time.

Kimi Code CLI is your next CLI agent.

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Modern undotree plugin for nvim

SBLP 2025 MLIR Tutorial

An implementation of the meson build system in c99

Gerbil Scheme