GitHub repository: soarlab/FPTaylor
Primary language: OCaml
Description: Tool for Rigorous Estimation of Round-Off Floating-Point Errors