| -1780900117 | | A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package) This package needs documentation | Racket | succeeds; has conflicts; has failing tests | 5 |
| -1786073231 | | A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macOS pre-build package) This package needs documentation | Racket | succeeds; has conflicts; has failing tests | 5 |
| -1785474407 | | A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package) This package needs documentation | Racket | succeeds; has failing tests | 5 |
| -1733767872 | | Alternative MPFR interface for emulating IEEE-754 floating-point numbers This package needs license metadata | Racket | succeeds | 2 |
| -1785890488 | | A tool for automatically improving the accuracy of floating point expressions This package needs documentation | Racket | fails | 6 |