Exact Arithmetic Python Packages

pyfracessa

Exact computation of evolutionarily stable strategies (ESS) / strict local maximizers for rational standard quadratic optimization problems (StQP).

bitrep

Order-invariant, bit-identical floating-point reductions for Rust. Any order. Any hardware. Same bits.

exact-calc-mcp

Exact arithmetic for AI agents. Two independently written engines (Python exact rational/decimal + a separate C++ evaluator) cross-check every result.

certivl

Exact rational and certified interval arithmetic: enclosures that turn a computed inequality into a proof.

pycgt

Combinatorial game theory in pure Python: exact canonical forms, thermography, and game values

mobius-number

Complementary residue arithmetic — 0.1 + 0.2 = 0.3, exactly.