hazel's dependent typing playground, I guess

Upraveno před 2 dny

fingerd in Haskell (for learning purposes), I guess

Upraveno před 5 dny

it's Quantum Devil Saga 2, I guess

Upraveno před 2 týdny

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

Upraveno před 2 týdny

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

Upraveno před 2 týdny

a webring manager, I guess

Upraveno před 2 týdny

my blog, I guess

Upraveno před 2 týdny

Advent of Code 2020 solutions in Racket, I guess

Upraveno před 2 týdny

my configuration for my NixOS machines, I guess

Upraveno před 2 týdny

a spiny scheme implementation

Upraveno před 7 měsíci

like make, but for symlinks

Upraveno před 7 měsíci

another programming language

Upraveno před 7 měsíci

a music visualizer for my AP Calculus BC final project

Upraveno před 7 měsíci

error detection for 3d printers via contour analysis

Upraveno před 7 měsíci

pltw digital electronics final project '19

Upraveno před 7 měsíci

solutions to project euler problems in rust

Upraveno před 7 měsíci

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

Upraveno před 7 měsíci

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

Upraveno před 7 měsíci

hazel's build of dwm, for packaging purposes

Upraveno před 7 měsíci

a branflakes interpreter i used to play with c++

Upraveno před 7 měsíci