determination: Rust typecheckers for System F and System F-omega

Simply Typed Lambda Calculus in Datalog

Elixir math benchmarks

Show HN: Rectfillcurve – generate rectangle-filling curves

A physics simulator toy inside Emacs

uri - a silly archive format

Garnet programming language

Mongoose: A small toy OS with no memory protection

~nbuwe/forth - A very simple Forth

A brief history of random numbers