anun333

Floating-point results that are the same bits on every machine, with proofs anyone can rerun.

crmvec

Correctly rounded vector math: a drop-in libmvec.so.1 (and SLEEF's libraries on aarch64 and riscv64) whose results are CORE-MATH's, bit for bit, on every machine.

conda install -c conda-forge crmvec

crnumerics

The libraries beside it: correctly rounded sums and matrix products, neural-network primitives with one answer, the normal distribution, verified linear algebra, correctly rounded fixed-point functions, FP8 and MX math, interval functions, and tools that find machine-dependent results.

pip install crival crdistr crlin crfix