hazel's dependent typing playground, I guess

Updated 4 months ago

fingerd in Haskell (for learning purposes), I guess

Updated 4 months ago

it's Quantum Devil Saga 2, I guess

Updated 4 months ago

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

Updated 4 months ago

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

Updated 4 months ago

a webring manager, I guess

Updated 4 months ago

my blog, I guess

Updated 4 months ago

Advent of Code 2020 solutions in Racket, I guess

Updated 4 months ago

my configuration for my NixOS machines, I guess

Updated 4 months ago

a spiny scheme implementation

Updated 11 months ago

like make, but for symlinks

Updated 11 months ago

another programming language

Updated 11 months ago

a music visualizer for my AP Calculus BC final project

Updated 11 months ago

error detection for 3d printers via contour analysis

Updated 11 months ago

pltw digital electronics final project '19

Updated 11 months ago

solutions to project euler problems in rust

Updated 11 months ago

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

Updated 11 months ago

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

Updated 11 months ago

hazel's build of dwm, for packaging purposes

Updated 11 months ago

a branflakes interpreter i used to play with c++

Updated 11 months ago