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 1

  3. numerics-playground numerics-playground Public

    Some numerics experiments

    TeX

  4. NumFuzz NumFuzz Public

    OCaml

Repositories

Showing 4 of 4 repositories
  • numerics-playground Public

    Some numerics experiments

    Athena-Types/numerics-playground’s past year of commit activity
    TeX 0 0 0 0 Updated May 14, 2025
  • Bean Public
    Athena-Types/Bean’s past year of commit activity
    Berry 1 GPL-3.0 0 0 0 Updated Apr 15, 2025
  • NumFuzz Public
    Athena-Types/NumFuzz’s past year of commit activity
    OCaml 0 GPL-3.0 0 0 0 Updated Mar 12, 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…