Projects & Code
Current collaborations
Links will be available closer to project completion/upon submission.
- A modern database of Calabi-Yau operators
- The Calabi-Yau Arithmetic Database. Zulip chat here.
If you would like to submit code or contribute, send me an email!
Code
- Code for Elliptic Curves in Game Theory (w/ Elke Neuhaus and Irem Portakal)
- Pari/GP code to compute coefficients of holomorphic Siegel-Eisenstein series of degree
- Pari/GP package to compute murmurations of elliptic curves
- Collection of useful(for me) bash scripts
Data
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.