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.
PROMISE (PRecision OptiMISE)
 Web Page

PROMISE is a tool to autotune the precision of floatingpoint variables in code. From an initial C or C++ program and a required accuracy on the computed results, PROMISE automatically modifies the floatingpoint types and maximizes the number of single precision variables.
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.
