GitHub / herbie-fp / herbie

Optimize floating-point expressions for accuracy

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/herbie-fp%2Fherbie
PURL: pkg:github/herbie-fp/herbie

Stars: 818
Forks: 42
Open issues: 15

License: other
Language: HTML
Size: 82.4 MB
Dependencies parsed at: Pending

Created at: almost 12 years ago
Updated at: 1 day ago
Pushed at: 1 day ago
Last synced at: 1 day ago

Topics: developer-tools, floating-point, herbie, numerical-methods, racket, synthesis

Loading...