GitHub repository: marklrh/abstract_floats
Primary language: OCaml
Description: Sets of floats and operations over them