1 result found Sort:

herbie-fp
herbie herbie-fp
34
774
other
33
Optimize floating-point expressions for accuracy
herbie racket synthesis floating-point developer-tools numerical-methods
Created 2013-10-18
11,466 commits to main branch, last one a day ago