Number theory: primes, arithmetic functions, modular computations, special sequences

• UpdatedDec 16, 2025
• Haskell

A Julia package for computing SICs and related objects.

• UpdatedNov 6, 2025
• Julia

Compute lots of Riemann Zeta function values with arbitrary precision

• UpdatedNov 12, 2019
• C++

This tokenizer is an advanced lexer developed specifically for Zeta Lang

• UpdatedJun 25, 2025
• Java

Numerical project written (mostly) in Python that is all about (dynamical) zeta functions and their application to the calculation of (quantum and classical) resonances.

• UpdatedSep 7, 2023
• Python

Stuff related to elliptic curves, modular forms and zeta functions of curves

• UpdatedJul 7, 2022
• Mathematica

Generalizations of the Riemann Zeta Function implemented in C++. Fall 2015

• UpdatedNov 17, 2018
• C++

A constructive and AI-assisted approach to the Riemann Hypothesis, focusing on structured classification and critical line constraints.

• UpdatedJun 16, 2025
• TeX

This project uses Python to create visualizations of key concepts related to the Riemann Hypothesis, with a focus on exploring the Riemann zeta function in 3D.

• UpdatedAug 20, 2024
• Python

Coq proof of the Euler product formula for the Riemann zeta function (in progress...)

• UpdatedNov 23, 2025
• Rocq Prover

Math art and themes including my attempts to teach calculus in every color of the rainbow over the Summer of 2021 by colorizing the PPT slides for lectures.

• UpdatedMar 29, 2022