Pinned Loading

1. Minim Minim Public

   Scheme-like language

   C 1

2. mpmfnum-rust mpmfnum-rust Public

   A numbers library in Rust

   Rust 1

3. herbie-fp/generic-flonum herbie-fp/generic-flonum Public

   Racket package for various IEEE-754 floating point formats

   Racket 2 1

4. herbie-fp/herbie herbie-fp/herbie Public

   Optimize floating-point expressions for accuracy

   HTML 776 34

5. FPBench/FPBench FPBench/FPBench Public

   A standard for floating point accuracy benchmarks

   Racket 46 21

6. uwplse/ruler uwplse/ruler Public

   Rewrite Rule Inference Using Equality Saturation

   Rust 121 9