Search Package Index

10 packages found

 PackageDescriptionBuild 

egg-herbie

A Herbie component to simplify mathematical expressions using the egg egraph library

This package needs documentation

License:
succeeds; has conflicts4

egg-herbie-linux

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

This package needs documentation

This package needs license metadata

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

This package needs license metadata

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

This package needs license metadata

succeeds; has failing tests5

New

fpbench

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

This package needs documentation

This package needs license metadata

succeeds4

herbie

A tool for automatically improving the accuracy of floating point expressions

This package needs documentation

This package needs license metadata

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

regraph

A pure-Racket equivalence graph

This package needs documentation

This package needs license metadata

succeeds4

rival

Interval analysis for real computation

Docs:
License:
succeeds; has failing tests5

softposit-herbie

SoftPosit support for Herbie

This package needs documentation

This package needs license metadata

fails6

softposit-rkt

Racket bindings for the C softposit library. More info at posithub.org (currently only works on Linux 64-bit.)

This package needs license metadata

fails6