| -1718298975 | | x86_64 AVX support for Herbie This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1717033579 | | A Herbie component to simplify mathematical expressions using the egg egraph library This package needs documentation | succeeds; has conflicts | 4 |
| -1721419099 | | A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package) This package needs documentation | succeeds; has conflicts; has failing tests | 5 |
| -1721419110 | | A Herbie component to simplify mathematical expressions using the egg egraph library (arm64 macOS pre-build package) This package needs documentation | succeeds; has conflicts; has failing tests | 5 |
| -1721419117 | | A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macOS pre-build package) This package needs documentation | succeeds; has conflicts; has failing tests | 5 |
| -1721419125 | | A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package) This package needs documentation | succeeds; has failing tests | 5 |
| -1718227417 | | fdlibm platform support for Herbie This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1712954026 | | Tools for the FPBench numerical software standards (more info at http://fpbench.org/) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1721419244 | | A tool for automatically improving the accuracy of floating point expressions This package needs documentation | succeeds; has conflicts; has dependency problems; has failing tests | 5 |
| -1653378332 | | A pure-Racket equivalence graph This package needs documentation This package needs license metadata | succeeds | 4 |
| -1721384930 | | Interval analysis for real computation | succeeds | 0 |
| -1698364566 | | SoftPosit support for Herbie This package needs documentation This package needs license metadata | fails | 6 |
| -1712794407 | | Racket bindings for the C softposit library. More info at posithub.org (currently only works on Linux 64-bit.) This package needs license metadata | fails | 6 |
| -1718227383 | | 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 tests | 5 |