electricfirefly
Hey all! I'm a computer scientist working in in PL theory, zero knowledge proofs, cryptography, and formal methods. Rust, Agda, Haskell
Portland
Pinned Repositories
AoC2021
Advent of code 2021
electricfirefly's Repositories
electricfirefly/AoC2021
Advent of code 2021