Skip to content
@verificarlo

Verificarlo

Pinned Loading

  1. verificarlo verificarlo Public

    A tool for debugging and assessing floating point precision and reproducibility.

    C 103 29

  2. fuzzy fuzzy Public

    A fuzzy ecosystem for evaluating the stability of your computational tools.

    Jupyter Notebook 17 15

  3. significantdigits significantdigits Public

    Solid statistical analysis of Stochastic Arithmetic.

    Python 4 3

Repositories

Showing 10 of 10 repositories
  • significantdigits Public

    Solid statistical analysis of Stochastic Arithmetic.

    verificarlo/significantdigits's past year of commit activity
    Python 4 3 0 1 Updated Aug 25, 2026
  • verificarlo Public

    A tool for debugging and assessing floating point precision and reproducibility.

    verificarlo/verificarlo's past year of commit activity
    C 103 29 4 (1 issue needs help) 1 Updated Aug 19, 2026
  • prism Public

    Probabilistic Rounding with Instruction Set Management

    verificarlo/prism's past year of commit activity
    C++ 3 Apache-2.0 2 1 0 Updated Aug 18, 2026
  • mcp_verificarlo Public

    mcp server implementation for verificarlo

    verificarlo/mcp_verificarlo's past year of commit activity
    Python 1 0 1 1 Updated Aug 12, 2026
  • fuzzy Public

    A fuzzy ecosystem for evaluating the stability of your computational tools.

    verificarlo/fuzzy's past year of commit activity
    Jupyter Notebook 17 Apache-2.0 15 2 0 Updated Aug 5, 2026
  • sr-karatsuba Public

    Numerical experiments of the paper "Error Analysis of sum-product algorithms under stochastic rounding".

    verificarlo/sr-karatsuba's past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Nov 19, 2024
  • sr-variance-bounds Public

    Scripts to reproduce the numerical experiments of the paper « Stochastic Rounding Variance and Probabilistic Bound: a New Approach »

    verificarlo/sr-variance-bounds's past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Apr 15, 2023
  • sr-non-linear-bounds Public
    verificarlo/sr-non-linear-bounds's past year of commit activity
    Python 0 0 0 0 Updated Apr 15, 2023
  • vfc_ci_tutorial Public

    Tutorial repository for the CI functionality of Verificarlo

    verificarlo/vfc_ci_tutorial's past year of commit activity
    C 0 GPL-3.0 2 0 0 Updated Nov 21, 2022
  • verificarlo_tutorial Public

    Tutorial for Verificarlo

    verificarlo/verificarlo_tutorial's past year of commit activity
    TeX 2 4 0 1 Updated Nov 19, 2022