exact-arithmetic

Exact floating-point arithmetic in R.

Fast, stack-allocated linear algebra for fixed dimensions

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

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

mmCalculator – Mathematical Machinery Calculator. Exact-first CLI calculator and compact CAS with arbitrary-precision, symbolic math and linear algebra.

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

Exact geometric predicates over integer coordinates with enforced bounds - plus the committed proof the float versions fail: 657 adversarial cases where CI asserts the double predicate is wrong and the exact one is right, every push. Grew from a real D* Lite key-tie bug. ~2x cost, measured.

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

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

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

Exact-decimal double-entry kernel for AI agents. Call MCP tools instead of doing money math in tokens. Fail-closed, audit-hashed, deterministic.

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.

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.

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

Exact-first mathematics, physics, chemistry, and offline STEM computing environment.

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

AI-Assisted Discovery and Construction of a Counterexample to the Convergence of Three-Block ADMM with the Identity Matrix as Its Third Constraint Block

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

Python library for exact all-integer symbolic computation in Buckminster Fuller's Synergetics — rational SymergeticsNumber arithmetic with no floating-point error, Quadray 4D tetrahedral coordinates, polyhedral volume ratios, Scheherazade numbers and primorials, and matplotlib/plotly/ASCII output. 977 tests.