Search Package Index

5 packages found

 PackageDescriptionBuild 

egg-herbie-linux

A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-osx

A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macOS pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-windows

A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package)

This package needs documentation

License:
succeeds; has failing tests5

generic-flonum

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

This package needs license metadata

succeeds2

herbie

A tool for automatically improving the accuracy of floating point expressions

This package needs documentation

License:
succeeds; has conflicts; has dependency problems; has failing tests5