Pinned Loading

1. herbie herbie Public

   Forked from herbie-fp/herbie

   Optimize floating-point expressions for accuracy

   HTML

2. lakeroad lakeroad Public

   Forked from gussmith23/lakeroad

   FPGA synthesis tool powered by program synthesis

   Racket

3. herbie-fp/herbie herbie-fp/herbie Public

   Optimize floating-point expressions for accuracy

   HTML 775 33

4. FPBench/FPBench FPBench/FPBench Public

   A standard for floating point accuracy benchmarks

   Racket 44 20

5. gussmith23/lakeroad gussmith23/lakeroad Public

   FPGA synthesis tool powered by program synthesis

   Racket 38 6

6. gussmith23/lakeroad-evaluation gussmith23/lakeroad-evaluation Public

   Verilog 5