i'm a bunny
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 个月前