GitHub repository: AnthonyDario/rubber-ducky
Primary language: OCaml
Created: 2023-11-27T21:22:03Z
Description: A tool for statically analyzing floating-point error.