exact-arithmetic

Exact floating-point arithmetic in R.

Fast, stack-allocated linear algebra for fixed dimensions

Exact fraction math for TypeScript and JavaScript: parse, compare, format, and compute rational numbers with Python-style APIs.

An embeddable, sandbox-first symbolic term-rewriting language and runtime in Rust — exact rational arithmetic and a capability sandbox for safely evaluating untrusted scripts.

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

Minimal symbolic CLI calculator powered by SymPy for exact arithmetic, calculus, equation solving, and ODEs.

A symbolic mathematics library for Java. Exact arithmetic on integers, decimals, rationals, irrationals (roots, logarithms, trigonometric values, π, e) and complex numbers. Mathematical sets with formal inclusion and membership. No floating-point approximation — all operations are exact and formally provable.

A lightweight, no-std, pure Rust mathematical kernel for the exact evaluation of two-center Coulomb integrals over ns Slater-type orbitals. Features a zero-allocation, physics-agnostic implementation suitable for both semi-empirical methods (QEq/ReaxFF) and ab initio calculations.

Zero-axiom Smithian Fold Theory with exact machine-checked derivations across physics, mathematics, classical computation, and quantum computation

Reference implementation of Register Algebra — an exact integer and rational arithmetic in which every integer N is represented as a pair of integer registers (a, b) under the evaluation map

A general-purpose introductory programming language designed with secondary students in mind. Exact fractions, no null, and errors that name the fix.

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

AI-native exact calculator and contract-first Rust CLI for typed JSON math, symbolic reasoning, property tests, and mutation-tested agent workflows.

Exact verification for the sharp Delannoy multiplication-table TP2 threshold

A 14-vertex 6-chromatic distance graph in the Euclidean plane (prescribed distances 1, 1/sqrt3, 2) with clique number 4 - plus a proof that this distance system admits no K5 at all. Human-readable proofs, exact data, SAT+CI verification

Exact counterexample (22 July 2026) and unbounded family (24 July 2026) for line-graph inertia Conjecture 4.12, with reproducible exact certificates.

Three exact-arithmetic verification pipelines — λ=2c conformal identities + the emission-gap theorem, Mahler-measure matrix plates (interactive in-browser explorer), and residual-return learning dynamics over number fields. Every load-bearing claim is machine-checked; all suites pass.

Experimental exact-arithmetic quantum circuit simulator in Python/SystemVerilog with an FPGA-oriented interface and software/RTL CI.

Candidate proof and exact certificates for integer-charge electron-number convexity counterexamples; public review requested.