Search

Parse, view, query, edit, validate and export building models. Browser-first WebGPU viewer, TypeScript SDK, CLI, MCP server and Rust/WASM core with dual exact-arithmetic & SMlib geometry kernels.

Arbitrary precision decimal arithmetic

General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)

Number theory: primes, arithmetic functions, modular computations, special sequences

Arbitrary-precision arithmetic in pure Swift

Accurately arithmetic library. 解决Javascript浮点运算精度问题。

An arbitrary-precision arithmetic library for Rust.

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.

Fast CPU/GPU-accelerated extended-precision arithmetic in Julia

Libraries for finite field, elliptic curve, and polynomial arithmetic

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

High-performance pure C# arbitrary-precision arithmetic: BigInt, BigRational and correctly-rounded Real. No native dependencies.