An open API service providing repository metadata for many open source software ecosystems.

GitHub / verificarlo 4 Repositories

verificarlo/significantdigits

Solid statistical analysis of Stochastic Arithmetic.

Language: Python - Size: 905 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 4 - Forks: 2

verificarlo/fuzzy

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

Language: Jupyter Notebook - Size: 14.8 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 14

verificarlo/verificarlo

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

Language: C - Size: 13.8 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 76 - Forks: 25

verificarlo/sr-karatsuba

Numerical experiments of the paper "Error Functions and Martingales in Stochastic Rounding".

Language: Python - Size: 6.84 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

verificarlo/vfc_ci_tutorial

Tutorial repository for the CI functionality of Verificarlo

Language: C - Size: 114 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

verificarlo/verificarlo_tutorial

Tutorial for Verificarlo

Language: TeX - Size: 8.46 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 3

verificarlo/sr-variance-bounds

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

Language: Python - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0