# Projects & Code

### Current collaborations

Links will be available shortly.

- Construction of high dimensional lattice error correction codes over \(\mathbb F_3\)
- Sato-Tate distributions for higher dimensional abelian varieties
- Computing automorphic forms over abelian varieties
- Murmurations in arithmetic geometry and number theory

### Side burner projects

- Learning Lean and Coq
- Foundations of mathematics, especially HoTT à la Voevodsky
- Solving Project Euler. Similar to project euler, here are a few more coding/problem solving challenges.
- \(\lambda\)-calculus and programming Turing machines

I am a huge fan of projects like Infinitely Large Napkin, and the Stacks Project.