Herbie aims to make floating point problems easier to find and fix.
Introduced at NSV'16, FPBench makes it easier to compare and combine tools from the floating-point research community.