-
propagators-chirho
propagator networks for constraint propagation and bidirectional computation
-
inari
interval arithmetic
-
Neoprene_Byzantine
has two parts, Neoprene and Byzantine. Byzantine stores an equation and Neoprene computes and compares those equations with interval arithmetic on rationals.
-
inari_wasm
A stripped-down version of Inari library (a Rust implementation of interval arithmetic) compatible with web assembly
-
honestintervals
Comprehensive, correctly rounding interval arithmetic library
-
inta
Interval arithmetic in Rust
-
intervals-good
An interval arithmetic library with support for many functions and which tracks when domain errors may occur or are guaranteed to occur
-
real_interval
Continuous interval arithmetic library
-
bedrs_derive
Procedural macros for bedrs
Try searching with DuckDuckGo.