4 projects
crdistr
The normal distribution over NumPy arrays, correctly rounded in binary32, binary16 and bfloat16 (erfinv, erfcinv, probit, ndtr, log_ndtr, normpdf, logit), and samplers with the same bits on every machine; on crnumerics' libcrdist
crfix
Correctly rounded fixed-point functions on NumPy integer arrays: exp, exp2, log, log2, sigmoid, tanh, sqrt, rsqrt, reciprocal and division in four rounding modes, int8 kernels' lookup tables, TFLite's affine formats and softmax; integer arithmetic only; on crnumerics' libcrfix
crlin
Verified linear algebra over NumPy arrays: enclosures of exact solutions (dense, banded and sparse systems, interval data, least squares, very ill-conditioned systems) and of symmetric eigenvalues, and proofs of positive definiteness; safe with a threaded BLAS; on crnumerics' libcrlin
crival
Tight IEEE 1788.1 interval arithmetic over NumPy arrays, on crnumerics' libival (CORE-MATH's correctly rounded functions)
