my configuration for my NixOS machines, I guess
Updated 1 year ago
alexandria-ocasio-cortez axiom-of-choice area-of-concern american-orthodox-church almost-optimal-coset solutions in the year of our lord 2021, I guess
Updated 2 years ago
a webring manager, I guess
Updated 2 years ago
hazel's dependent typing playground, I guess
Updated 3 years ago
fingerd in Haskell (for learning purposes), I guess
Updated 3 years ago
it's Quantum Devil Saga 2, I guess
Updated 3 years ago
some solutions for MIT Press's "structure and interpretation of computer programs", I guess
Updated 3 years ago
a theme for Hugo based off of smol and gruvbox-css, I guess
Updated 3 years ago
my blog, I guess
Updated 3 years ago
Advent of Code 2020 solutions in Racket, I guess
Updated 3 years ago
like make, but for symlinks
Updated 3 years ago
another programming language
Updated 3 years ago
a music visualizer for my AP Calculus BC final project
Updated 3 years ago
error detection for 3d printers via contour analysis
Updated 3 years ago
pltw digital electronics final project '19
Updated 3 years ago