herbie-fp's tracked open-source repos, sorted by stars.
Optimize floating-point expressions for accuracy
