Just foxing about.
Rust versions of TAPL's System F and System F-omega type checkers
A silly little archive format
Experiment with a lightweight systems programming language
language benchmarks without too much effort put into them
Attempt at type checking in Datalog
An attempt at fiddling together a distributed infrastructure similar to ROS
Like /dev/urandom but easier to pronounce.
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
My game for the Autumn Lisp Game Jam, 2021