it's Quantum Devil Saga 2, I guess
Updated 1 month ago
Advent of Code 2020 solutions in Racket, I guess
Updated 1 month ago
fingerd in Haskell (for learning purposes), I guess
Updated 1 month ago
hazel's dependent typing playground, I guess
Updated 1 month ago