A dependently typed language for expressing SMT proofs. I've touched most parts of it. [code]
A SNARK-friendly implementation of multiprecision arithmetic, hash-to-prime, Wesolowski proofs of exponentiation, and RSA accumulators using the Bellman library. [code]
The program I use for managing my electronic notebook. It has exactly the interface I want. [code]
Improving developer infrastructure and doing the early design for various projects. [post]
Enabling collaboration within the course platform.
Prototyping a data movement system. It has since been productionized.
Building settlement software and reverse-engineering closed-source toolkits. Learning to program.