brick / math
Arbitrary-precision arithmetic library for PHP
brick / math
zama-ai / tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
thieu1995 / mealpy
A Collection Of The State-of-the-art Metaheuristic Algorithms In Python (Metaheuristic/Optimizer/Nature-inspired/Biology)
mpmath / mpmath
Python library for arbitrary-precision floating-point arithmetic
symbolica-dev / symbolica
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
ad-si / Woxi
Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
arkworks-rs / algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
flintlib / flint
FLINT (Fast Library for Number Theory)
gmpy2 / gmpy2
General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)
Consensys-Incorporated / gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
mhogrefe / malachite
An arbitrary-precision arithmetic library for Rust.
stillwater-sc / universal
Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
mratsim / constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
lean-dojo / FloatLib
Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.
kouamejosue1376-eng / arithmetic-drill
Best Online Arithmetic Trainer 2026: Build Fast Math Skills Daily
rei82 / arithmetica-cli-drill
Master Your Mental Math: The Ultimate Arithmetic Trainer for 2026, Built for Speed and Fluency
sonBaka / arithmetica-velocity
Math Trainer 2026: Master Mental Arithmetic with Daily Drills and Progress Analytics
elproelpro267-ops / math-drill-arcade
Numtrain 2026: Best Arithmetic Trainer for Fast Mental Math Practice
xqzme69 / A2MBA-LLVM
LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.
Swapnil-jain / integer-mult-kappa
Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks