Projects & Code

Current collaborations

Links will be available closer to project completion/upon submission.

  1. A modern database of Calabi-Yau operators
  2. The Calabi-Yau Arithmetic Database. Zulip chat here.
    If you would like to submit code or contribute, send me an email!

Code

  1. Code for Elliptic Curves in Game Theory (w/ Elke Neuhaus and Irem Portakal)
  2. Pari/GP code to compute coefficients of holomorphic Siegel-Eisenstein series of degree
  3. Pari/GP package to compute murmurations of elliptic curves
  4. Collection of useful(for me) bash scripts

Data

  1. The generic J-invariant of an elliptic curve defined by interesection of two quadrics in \(\mathbb P^3\)

Side burner projects

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

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