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.

Exact replay for numerical SDP/SOS certificates.

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.

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

C# library for lazy arithmetic with potentially infinite continued fractions.

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

A Rust implementation of exact real number arithmetic, inspired by the Android Calculator and based on Hans-J. Boehm’s research.

A dual-strand integer: machine i64 (fast, wraps) + exact BigInt (never overflows). The Ariane 5 would have landed.

Clean-room, permissively-licensed (MIT OR Apache-2.0) triangle-mesh tooling: STL repair, boolean ops (union / intersection / difference / xor), exact-arithmetic predicates, Simulation of Simplicity. Drop-in replacement for admesh / libigl-cgal / mcut.

Julia implementation of partition-theoretic prime detection: expressions E1-E6 that vanish iff n is prime, based on Craig-van Ittersum-Ono (2024). Includes quasi-shuffle algebra, exact rational arithmetic, and companion notebooks for three research papers.