Just foxing about.
Experiment with a lightweight systems programming language
an experiment for playing with https://wiki.alopex.li/BetterThanEmail
Like /dev/urandom but easier to pronounce.
language benchmarks without too much effort put into them
Rust versions of TAPL's System F and System F-omega type checkers
A silly little archive format
Attempt at type checking in Datalog
An attempt at fiddling together a distributed infrastructure similar to ROS
Vector math benchmarks for Elixir libs
A toy OS with no virtual memory
Autumn Lisp Game Jam game, 2022. In TIC-80!
A compiler from Lua 5.4 bytecode to Webassembly
A cursed Modula 2 compiler
Attempt at making an instruction reference guide for RISC-V
A Rust implementation of bidirectional type checking