3 packages found
Tools for the FPBench numerical software standards (more info at http://fpbench.org/)
This package needs documentation
A tool for automatically improving the accuracy of floating point expressions
SoftPosit support for Herbie