Lean
Here is a few open source contributions and personal projects I’ve done in Lean:
CSLib
Phase Semantics of Linear Logic
Mathlib
Turing Degrees of Partial Recursive Functions
Personal Projects
ZxLean: Verifying the ZX calculus for reasoning about quantum programs
zkFlow: A simple syntax for building zero-knowledge constraint systems