hazel's dependent typing playground, I guess

最后更新于 1周前

fingerd in Haskell (for learning purposes), I guess

最后更新于 1周前

it's Quantum Devil Saga 2, I guess

最后更新于 3 周前

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

最后更新于 3 周前

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

最后更新于 3 周前

a webring manager, I guess

最后更新于 3 周前

my blog, I guess

最后更新于 3 周前

Advent of Code 2020 solutions in Racket, I guess

最后更新于 3 周前

my configuration for my NixOS machines, I guess

最后更新于 3 周前

like make, but for symlinks

最后更新于 7 个月前

another programming language

最后更新于 7 个月前

a music visualizer for my AP Calculus BC final project

最后更新于 7 个月前

error detection for 3d printers via contour analysis

最后更新于 7 个月前

pltw digital electronics final project '19

最后更新于 7 个月前

solutions to project euler problems in rust

最后更新于 7 个月前