my configuration for my NixOS machines, I guess

Updated 11 months 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 1 year ago

a webring manager, I guess

Updated 2 years ago

Haskell 0 0

hazel's dependent typing playground, I guess

Updated 2 years ago

fingerd in Haskell (for learning purposes), I guess

Updated 2 years ago

Markdown 0 0

it's Quantum Devil Saga 2, I guess

Updated 2 years ago

Scheme 0 0

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

Updated 2 years ago

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

Updated 2 years ago

my blog, I guess

Updated 2 years ago

Advent of Code 2020 solutions in Racket, I guess

Updated 2 years ago

a spiny scheme implementation

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

solutions to project euler problems in rust

Updated 3 years ago

Emacs Lisp 0 0

A minor mode for Emacs to build and deploy FRC robot code under GradleRIO.

Updated 3 years ago

independent study computer science '17-18: playing with scheme interpreters & slacking off

Updated 3 years ago

hazel's build of dwm, for packaging purposes

Updated 3 years ago