Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com "interval-arithmetic" keyword
Top 2.0% on juliahub.com
52 versions - Latest release: 30 days ago - 49 dependent packages - 55 dependent repositories - 281 stars on GitHub
IntervalArithmetic 0.22.11
Library for validated numerics using interval arithmetic52 versions - Latest release: 30 days ago - 49 dependent packages - 55 dependent repositories - 281 stars on GitHub
Top 9.7% on juliahub.com
8 versions - Latest release: over 2 years ago - 3 dependent packages - 4 dependent repositories - 52 stars on GitHub
IntervalOptimisation 0.4.6
Rigorous global optimisation in pure Julia8 versions - Latest release: over 2 years ago - 3 dependent packages - 4 dependent repositories - 52 stars on GitHub
IntervalLinearAlgebra 0.1.5
Linear algebra done rigorously6 versions - Latest release: over 2 years ago - 34 stars on GitHub
ReachabilityAnalysis 0.25.0
Computing reachable states of dynamical systems in Julia85 versions - Latest release: about 1 month ago - 1 dependent package - 185 stars on GitHub
IntervalMatrices 0.10.0
Matrices with interval coefficients in Julia22 versions - Latest release: 4 months ago - 1 dependent package - 18 stars on GitHub
Top 4.9% on juliahub.com
13 versions - Latest release: over 1 year ago - 10 dependent packages - 13 dependent repositories - 123 stars on GitHub
IntervalRootFinding 0.5.11
Find all roots of a function in a guaranteed way with Julia13 versions - Latest release: over 1 year ago - 10 dependent packages - 13 dependent repositories - 123 stars on GitHub
MomentArithmetic 0.1.2
Rigorous moment propagation with partial information about moments and dependencies in Julia3 versions - Latest release: over 2 years ago - 12 stars on GitHub
Related Keywords
julia
4
reachability-analysis
2
rigorous-numerics
2
arithmetic
1
moments
1
imprecise-probability
1
uncertainty
1
probability
1
uncertainty-propagation
1
root-finding
1
matrix-computations
1
matrix-exponential
1
intervals
1
numerical-analysis
1
hybrid-systems
1
formal-verification
1
cyber-physical-systems
1
differential-equations
1
dynamical-systems
1
control-systems
1
verification
1
ode
1
automatic-control
1
simulations
1
flowpipe
1
set-propagation
1
numerics
1
linear-algebra
1
global-optimization
1