rigorous topic
List
rigorous repositories
ProbabilityBoundsAnalysis.jl
25
Stars
1
Forks
Watchers
Probability bounds analysis in Julia
IntervalArithmetic.jl
283
Stars
70
Forks
Watchers
Library for validated numerics using interval arithmetic
ocaml-interval
16
Stars
3
Forks
Watchers
An interval library for OCaml
inari
31
Stars
2
Forks
Watchers
A Rust implementation of interval arithmetic (IEEE 1788)
gelpia
15
Stars
6
Forks
Watchers
Rigorous Global Branch-and-Bound Optimizer