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.

A description of this work can be found here.

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 available.