unageek / inari Star 36 Code Issues Pull requests Discussions A Rust implementation of interval arithmetic (IEEE 1788) rust arithmetic interval floating-point interval-arithmetic intervals validated rigorous inari ieee1788 Updated Jan 26, 2025 Rust
AnderGray / ProbabilityBoundsAnalysis.jl Star 25 Code Issues Pull requests Probability bounds analysis in Julia probability arithmetic intervals rigorous imprecise-probability probability-bounds-analysis Updated Jan 13, 2025 Julia
soarlab / gelpia Star 23 Code Issues Pull requests Rigorous Global Branch-and-Bound Optimizer optimizer global-optimization interval-arithmetic rigorous Updated Dec 13, 2024 Python
Chris00 / ocaml-interval Star 16 Code Issues Pull requests An interval library for OCaml ocaml scientific-computing interval-arithmetic validated rigorous computer-assisted-proof Updated Dec 9, 2022 OCaml
Daisuke-Kanaizumi / q-special-functions Star 6 Code Issues Pull requests programs for q-special functions and q-series validated rigorous Updated Nov 14, 2019 C++