This repository contains a modular Python toolkit for studying the Riemann-Zeta function on the critical line and certifying its non-trivial zeros.

A simple high precision library written in typescript. Uses BigInt under the hood for faster operations.

Reference implementation for recurrence-accelerated high-precision Jacobi theta constants and Gaussian theta-series with tail certification.