it's Quantum Devil Saga 2, I guess
Updated 3 years ago
Advent of Code 2020 solutions in Racket, I guess
Updated 3 years ago
fingerd in Haskell (for learning purposes), I guess
Updated 3 years ago
hazel's dependent typing playground, I guess
Updated 3 years 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 2 years ago