Search Package Index

15 packages found

 PackageDescriptionBuild 

avx-herbie

x86_64 AVX support for Herbie

This package needs documentation

This package needs tags

This package needs license metadata

fails6

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

License:
succeeds; has conflicts; has failing tests5

egg-herbie-macosm1

A Herbie component to simplify mathematical expressions using the egg egraph library (arm64 macOS 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

fdlibm-herbie

fdlibm platform support for Herbie

This package needs documentation

This package needs tags

This package needs license metadata

fails6

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

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

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

vdt-herbie

Herbie support code for the VDT math library

This package needs documentation

This package needs tags

This package needs license metadata

succeeds; has conflicts; has failing tests5