electricfirefly

Hey all! I'm a computer scientist working in in PL theory, zero knowledge proofs, cryptography, and formal methods. Rust, Agda, Haskell

Location:Portland

Pinned Repositories

electricfirefly's Repositories