Herbie Project

icon indicating a website link https://herbie.uwplse.org icon indicating an email [email protected]

icon location Find and fix floating-point problems.

Results 2 repositories owned by Herbie Project

herbie

728
Stars
32
Forks
Watchers

Optimize floating-point expressions for accuracy

verified publisher icon herbie-fp

regraph

18
Stars
1
Forks
Watchers

Racket Equivalence Graph Library

verified publisher icon herbie-fp