DTL MathGate — deterministic exact-arithmetic engine with replayable certificates, stdlib-only, MIT
-
Updated
Oct 1, 2026 - Python
#
exact-arithmetic
Here are 131 public repositories matching this topic...
Fast, stack-allocated linear algebra for fixed dimensions
-
Updated
Oct 11, 2026 - Rust
Exact matrix products on FP4 Tensor Cores: the Adaptive Weight Encoding (AWE) catalog and the BLAS routines built on it.
-
Updated
Sep 22, 2026 - C
A Computer Algebra System for Scala 3: symbolic calculus, exact arithmetic, linear algebra, integral transforms, control theory, and a REPL.
statistics scala integration calculus algebra computer-algebra matrix linear-algebra repl probability mathematics cas differential-equations scala3 laplace-transform control-theory symbolic-computation equation-solver symbolic-differentiation exact-arithmetic
-
Updated
Oct 7, 2026 - Scala
An embeddable, sandbox-first symbolic term-rewriting language and runtime in Rust — exact rational arithmetic and a capability sandbox for safely evaluating untrusted scripts.
programming-language rust interpreter embeddable rule-engine pattern-matching sandbox scripting-language symbolic-computation term-rewriting exact-arithmetic capability-based-security
-
Updated
Aug 31, 2026 - Rust
Origami folding sequences as programs, evaluated exactly into a FOLD file with every folded state
-
Updated
Oct 10, 2026 - OCaml
mmCalculator – Mathematical Machinery Calculator. Exact-first CLI calculator and compact CAS with arbitrary-precision, symbolic math and linear algebra.
cli calculator calculus cpp matrix linear-algebra cas scientific-computing arbitrary-precision fft multiprecision bigint interval-arithmetic symbolic-computation computer-algebra-system numerical-analysis symbolic-math cpp20 bigfloat exact-arithmetic
-
Updated
Sep 20, 2026 - C++
Exact fraction math for TypeScript and JavaScript: parse, compare, format, and compute rational numbers with Python-style APIs.
javascript unicode typescript npm-package rational-numbers math-library fractions vulgar-fractions number-formatting exact-arithmetic mixed-numbers fraction-parser
-
Updated
Mar 13, 2026 - TypeScript
Disk covering problem (disc covering): global optimality proof claims for n = 11-20, exact certificates, Chinese proofs, and reproducible verification code. External review pending.
global-optimization discrete-geometry computer-assisted-proof exact-arithmetic disk-covering circle-covering
-
Updated
Sep 5, 2026 - Python
Order-invariant, bit-identical floating-point reductions for Rust. Any order. Any hardware. Same bits.
rust distributed-systems wasm crdt floating-point reproducibility deterministic no-std summation exact-arithmetic
-
Updated
Jul 27, 2026 - Rust
在固定尺规模型下研究最少作图步数：提供正十七边形 17E 与正257边形 69E 构造的精确证书、SageMath 验证、搜索记录和 Manim 动画。
reproducible-research computational-geometry sagemath computer-assisted-proof euclidean-geometry manim mathematical-optimization exact-arithmetic straightedge-and-compass regular-polygons geometric-construction heptadecagon
-
Updated
Sep 11, 2026 - Python
Minimal symbolic CLI calculator powered by SymPy for exact arithmetic, calculus, equation solving, and ODEs.
-
Updated
Apr 11, 2026 - Python
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.
-
Updated
Aug 4, 2026 - C++
Exact arithmetic for AI agents. Two independently written engines (Python exact rational/decimal + a separate C++ evaluator) cross-check every result.
python agent calculator cpp mcp decimal fraction ai-agents llm exact-arithmetic model-context-protocol mcp-server
-
Updated
Oct 8, 2026 - Python
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.
rust math quantum-mechanics mathematics scientific-computing quantum-chemistry ab-initio numerics no-std electrostatics sto pure-rust qeq reaxff exact-arithmetic electron-repulsion-integrals charge-equilibration coulomb-integral slater-orbitals
-
Updated
Feb 26, 2026 - Rust
A modern decimal library for TypeScript, built on BigInt. Addition and multiplication are exact; rounding takes a precision argument.
-
Updated
Sep 28, 2026 - JavaScript
Holonics: a mathematical, physical and computational framework grounded in the reality of difference. Exact arithmetic in Rust and CUDA, formal mathematics in Lean 4, and the HNN, a learning machine built from rings and helical contacts. Research in progress, shared openly.
rust machine-learning compression information-theory cuda bayesian-inference navier-stokes formal-verification mathematical-physics mathlib context-tree-weighting riemann-hypothesis port-hamiltonian lean4 exact-arithmetic ai-assisted-research
-
Updated
Oct 10, 2026 - Lean
阿波罗尼乌斯三圆问题的少步尺规作图研究 | Apollonius CCC constructions: verified upper bounds, exact replay, and Manim animations.
python mathematics computational-geometry euclidean-geometry manim mathematical-visualization exact-arithmetic compass-and-straightedge apollonius-problem geometric-constructions
-
Updated
Oct 11, 2026 - Python
A general-purpose introductory programming language designed with secondary students in mind. Exact fractions, no null, and errors that name the fix.
programming-language education interpreter csharp compiler dotnet error-messages language-design rational-numbers fractions optionals null-safety teaching-language exact-arithmetic
-
Updated
Sep 18, 2026 - C#
Add this topic to your repo
To associate your repository with the exact-arithmetic topic, visit your repo's landing page and select "manage topics."