octarou. CHIP-8 interpreter for my high-school CS final project.
nixcfg. Personal Nix flake
lambda-diagrams. Implementation of John Tromp's diagrams for closed lambda expressions.
double-pendulum. A double pendulum demo made with egui.
