CADNA (Control of Accuracy and Debugging for Numerical Applications)
 Web Page
 The CADNA library allows to estimate the roundoff error propagation on every scientific code written in FORTRAN or C++ language.
SAM (Stochastic Arithmetic in Multiprecision)
 Web Page.
 The SAM library implements discrete stochastic arithmetic in arbitrary precision. It enables roundoff error estimation in arbitrary precision programs.


Sollya
 Web Page.
 Sollya is both a tool environment and a library for safe floatingpoint code development. It is particularily targeted to the automatized implementation of mathematical floatingpoint libraries (libm).
Metalibm
 Web Page.
 a tool for the automatic implementation of mathematical (libm) functions. A function f is automatically transformed into Gappacertified C code implementing an approximation polynomial in a given domain with given accuracy.
