DTL MathGate — deterministic exact-arithmetic engine with replayable certificates, stdlib-only, MIT
-
Updated
Oct 1, 2026 - Python
#
exact-arithmetic
Here are 126 public repositories matching this topic...
Fast, stack-allocated linear algebra for fixed dimensions
-
Updated
Oct 8, 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
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++
Origami folding sequences as programs, evaluated exactly into a FOLD file with every folded state
-
Updated
Oct 8, 2026 - OCaml
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
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++
Minimal symbolic CLI calculator powered by SymPy for exact arithmetic, calculus, equation solving, and ODEs.
-
Updated
Apr 11, 2026 - Python
阿波罗尼乌斯三圆问题的少步尺规作图研究 | 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
Sep 6, 2026 - Python
A modern decimal library for TypeScript, built on BigInt. Addition and multiplication are exact; rounding takes a precision argument.
-
Updated
Sep 28, 2026 - JavaScript
AI-native exact calculator and contract-first Rust CLI for typed JSON math, symbolic reasoning, property tests, and mutation-tested agent workflows.
rust cli finance calculator statistics ai json-schema mutation-testing optimization linear-programming units matrices complex-numbers deterministic property-testing symbolic-math rational-arithmetic contract-first exact-arithmetic agent-tools
-
Updated
Aug 9, 2026 - Rust
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#
Exact-decimal double-entry kernel for AI agents. Call MCP tools instead of doing money math in tokens. Fail-closed, audit-hashed, deterministic.
money typescript mcp accounting audit ledger fintech deterministic bookkeeping double-entry ai-agents llm exact-arithmetic model-context-protocol mcp-server
-
Updated
Oct 4, 2026 - TypeScript
Zero-axiom Smithian Fold Theory with exact machine-checked derivations across physics, mathematics, classical computation, and quantum computation
reproducible-research physics mathematics quantum-computing theoretical-computer-science formal-verification number-theory fine-structure-constant neutrino dark-matter theory-of-everything exact-arithmetic fundamental-constants machine-checked-proofs zero-parameters smithian-fold-theory
-
Updated
Jul 23, 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."