Skip to content

@Athena-Types Athena-Types

Change the repository type filter

All

    Repositories list

    4 repositories

    • numerics-playground

      Public
      Assorted numerics experiments. Mirror of https://git.sr.ht/~mxf/numerics-playground
      Jupyter Notebook
      •0•0•0•0•Updated Mar 5, 2026Mar 5, 2026

    • NumFuzz

      Public
      OCaml
      •
      GNU General Public License v3.0
      •0•0•0•1•Updated Nov 21, 2025Nov 21, 2025

    • Bean

      Public
      Berry
      •
      GNU General Public License v3.0
      •0•5•0•0•Updated Apr 15, 2025Apr 15, 2025

    • mechanized-precision

      Public
      Mechanized proofs of relative and absolute precision for floats, in Coq
      Coq
      •
      GNU Lesser General Public License v3.0
      •0•5•0•0•Updated Feb 17, 2025Feb 17, 2025