hazel's dependent typing playground, I guess

Updated 1 week ago

fingerd in Haskell (for learning purposes), I guess

Updated 1 week ago

it's Quantum Devil Saga 2, I guess

Updated 3 weeks ago

some solutions for MIT Press's "structure and interpretation of computer programs", I guess

Updated 3 weeks ago

a theme for Hugo based off of smol and gruvbox-css, I guess

Updated 3 weeks ago

a webring manager, I guess

Updated 3 weeks ago

my blog, I guess

Updated 3 weeks ago

Advent of Code 2020 solutions in Racket, I guess

Updated 3 weeks ago

my configuration for my NixOS machines, I guess

Updated 3 weeks ago

like make, but for symlinks

Updated 7 months ago

another programming language

Updated 7 months ago

a music visualizer for my AP Calculus BC final project

Updated 7 months ago

error detection for 3d printers via contour analysis

Updated 7 months ago

pltw digital electronics final project '19

Updated 7 months ago

solutions to project euler problems in rust

Updated 7 months ago