Search Package Index

14 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

This package needs license metadata

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

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

fdlibm-herbie

fdlibm platform support for Herbie

This package needs documentation

This package needs tags

This package needs license metadata

fails6

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

New

rival

Interval analysis for real computation

Docs:
License:
succeeds0

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