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.

Constraint solver based on coverage-guided fuzzing

Calculate with error-free, faithful, and compensated transforms and extended significands.

A dynamic analysis tool to detect floating-point errors in HPC applications.

Custom-Precision Floating-point numbers.

32 - bit floating point Multiplier Accumulator Unit (MAC)

Fast Floating Point Operators for High Level Synthesis

APyTypes - Algorithmic data types for Python

A Python package for floating-point binary fractions. Do math in base 2!

soft_double provides a C++ software implementation of a double-precision floating-point data type

Computer Architecture -VLSI -Verilog Codes-Xilinx-Irsim

A Node.js module that fixes the binary floating-point rounding "error" at the 17th decimal place of JavaScript numbers

mirror of Fabrice Bellard's libbf tar releases

OCaml bindings for MPFR

Handle JavaScript operations, avoiding the native problems of the language

Auto-active verification of floating-point programs.

8051 ISA Subroutine Programs

Kahan Floating-Point (C++ implementation)

An optimized JavaScript implementation of the MurmurHash3 algorithm.

Speedy, uncompromisingly accurate emulation of TI-Floats