1 result found Sort:

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