Skip to content
@Athena-Types

Athena-Types

Wiser types for numerical analysis.

Popular repositories Loading

  1. mechanized-precision mechanized-precision Public

    Mechanized proofs of relative and absolute precision for floats, in Coq

    Coq 5

  2. Bean Bean Public

    Berry 5

  3. NumFuzz NumFuzz Public

    OCaml

Repositories

Showing 3 of 3 repositories
  • NumFuzz Public
    Athena-Types/NumFuzz's past year of commit activity
    OCaml 0 GPL-3.0 0 0 1 Updated Nov 21, 2025
  • Bean Public
    Athena-Types/Bean's past year of commit activity
    Berry 5 GPL-3.0 0 0 0 Updated Apr 15, 2025
  • mechanized-precision Public

    Mechanized proofs of relative and absolute precision for floats, in Coq

    Athena-Types/mechanized-precision's past year of commit activity
    Coq 5 LGPL-3.0 0 0 0 Updated Feb 17, 2025

Top languages

Loading…

Most used topics

Loading…