hazel's dependent typing playground, I guess

Updated 3 months ago

fingerd in Haskell (for learning purposes), I guess

Updated 3 months ago

it's Quantum Devil Saga 2, I guess

Updated 3 months ago

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

Updated 3 months ago

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

Updated 3 months ago

a webring manager, I guess

Updated 3 months ago

my blog, I guess

Updated 3 months ago

Advent of Code 2020 solutions in Racket, I guess

Updated 3 months ago

my configuration for my NixOS machines, I guess

Updated 3 months ago

like make, but for symlinks

Updated 10 months ago

another programming language

Updated 10 months ago

a music visualizer for my AP Calculus BC final project

Updated 10 months ago

error detection for 3d printers via contour analysis

Updated 10 months ago

pltw digital electronics final project '19

Updated 10 months ago

solutions to project euler problems in rust

Updated 10 months ago