Search Package Index

fpbench

Tools for the FPBench numerical software standards (more info at http://fpbench.org/)

This package needs documentation

This package needs license metadata

generic-flonum

Alternative MPFR interface for emulating IEEE-754 floating-point numbers

This package needs license metadata

herbie

A tool for automatically improving the accuracy of floating point expressions

This package needs documentation

This package needs license metadata

rival

Interval analysis for real computation

This package needs license metadata

softposit-herbie

SoftPosit support for Herbie

This package needs documentation

This package needs license metadata