fmtlib / fmt
A modern formatting library
fmtlib / fmt
awawa-dev / HyperHDR
Next-gen open source ambient lighting system featuring a high-precision floating-point color pipeline breaking legacy RGB 24-bit limits. Includes advanced smoothing with inertia and adaptive temporal dithering for perfectly fluid, stable output to LEDs from any SDR or HDR video source. Supports Windows, macOS and Linux (x86/ARM).
google / XNNPACK
High-efficiency floating-point neural network inference operators for mobile, server, and Web
mpmath / mpmath
Python library for arbitrary-precision floating-point arithmetic
herbie-fp / herbie
Optimize floating-point expressions for accuracy
llnl / zfp
Compressed numerical arrays that support high-speed random access
powturbo / TurboPFor-Integer-Compression
Fastest Integer Compression
stp / stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
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.
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.
Mayrinp / stdlib-js-ml-base-sgd-params-vector-factory
SGD Parameter Struct Factory 2026: Adaptive Floating-Point ML Constructor Toolkit
nand2mario / z486
80486-class CPU with integrated floating-point in SystemVerilog