SmartFloat is a numerical data type library for sound floating-point computations in Scala. The library can perform sound computations with ranges of floating-point numbers and estimate the roundoff errors commited.

You can download the latest .jar file here. In order to run your code, you will also need to compile some native code. You will find it, with compile instructions, here.

The source code, including the examples from the report, is also available.

The examples from the report can also be found HERE.

There is also a poster and a presentation available.

The library is mainly described in the following paper:

E. Darulova, V. Kuncak. Trustworthy Numerical Computation in Scala. OOPSLA 2011. PDF