Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.5% dependent packages on juliahub.com
Top 0.8% dependent repos on juliahub.com
Top 2.2% forks on juliahub.com
juliahub.com : IntervalArithmetic
Library for validated numerics using interval arithmetic
Registry
-
Source
- Documentation
- JSON
purl: pkg:julia/IntervalArithmetic
Keywords: rigorous-numerics, interval-arithmetic, julia
License: MIT
Latest release: about 1 month ago
First release: almost 6 years ago
Dependent packages: 49
Dependent repositories: 55
Stars: 281 on GitHub
Forks: 70 on GitHub
Total Commits: 779
Committers: 39
Average commits per author: 19.974
Development Distribution Score (DDS): 0.281
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago
RadiiPolynomial 0.8.8
Library for computer-assisted proofs in dynamical systems54 versions - Latest release: 5 days ago - 15 stars on GitHub
LazySets 2.13.0
Scalable symbolic-numeric set computations in Julia142 versions - Latest release: 7 days ago - 18 dependent packages - 225 stars on GitHub
TaylorSeries 0.17.6
Taylor polynomial expansions in one and several independent variables.45 versions - Latest release: 27 days ago - 21 dependent packages - 318 stars on GitHub
ReversePropagation 0.2.3
8 versions - Latest release: about 1 month ago - 51 stars on GitHubReachabilityAnalysis 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
PolyJuMP 0.7.4
A JuMP extension for Polynomial Optimization22 versions - Latest release: about 2 months ago - 2 dependent packages - 1 dependent repositories - 41 stars on GitHub
NEOs 0.8.0
High-fidelity orbit determination and propagation for Near-Earth Objects, in Julia18 versions - Latest release: about 2 months ago - 12 stars on GitHub
TaylorModels 0.7.1
Rigorous function approximation using Taylor models in Julia30 versions - Latest release: about 2 months ago - 5 dependent packages - 60 stars on GitHub
IntervalConstraintProgramming 0.13.0
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia10 versions - Latest release: 2 months ago - 1 dependent package - 5 dependent repositories - 60 stars on GitHub
MIPVerify 0.5.3
Evaluating Robustness of Neural Networks with Mixed Integer Programming13 versions - Latest release: 2 months ago - 111 stars on GitHub
Makie 0.21.0 💰
Interactive data visualizations and plotting in Julia85 versions - Latest release: 3 months ago - 102 dependent packages - 2,289 stars on GitHub
Bigsimr 0.10.0
Simulate multivariate distributions with arbitrary marginals.14 versions - Latest release: 3 months ago - 2 stars on GitHub
ExactPredicates 2.2.8
Fast and exact geometrical predicates in the Euclidean plane13 versions - Latest release: 4 months ago - 1 dependent package - 20 stars on GitHub
RigorousInvariantMeasures 0.2.2
Package for the Rigorous Computation of Invariant Measures3 versions - Latest release: 4 months ago - 7 stars on GitHub
IntervalMatrices 0.10.0
Matrices with interval coefficients in Julia22 versions - Latest release: 5 months ago - 1 dependent package - 18 stars on GitHub
PDDL 0.2.17
Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDD...22 versions - Latest release: 5 months ago - 3 dependent packages - 77 stars on GitHub
RobustAndOptimalControl 0.4.31
Robust and optimal design and analysis of linear control systems46 versions - Latest release: 5 months ago - 1 dependent package - 50 stars on GitHub
Nonconvex 2.1.3
Toolbox for gradient-based and derivative-free non-convex constrained optimization with continuou...27 versions - Latest release: 5 months ago - 2 dependent packages - 106 stars on GitHub
DisjunctiveProgramming 0.5.0
A JuMP extension for Generalized Disjunctive Programming20 versions - Latest release: 6 months ago - 26 stars on GitHub
NonconvexBayesian 0.1.5
Constrained Bayesian optimization implementation in Nonconvex.jl6 versions - Latest release: 6 months ago - 0 stars on GitHub
NonconvexCore 1.4.3
All the interface functions and structs of Nonconvex.jl.29 versions - Latest release: 6 months ago - 16 dependent packages - 4 stars on GitHub
RangeEnclosures 0.2.2 removed
A Julia package to compute range enclosures of real-valued functions.7 versions - Latest release: 8 months ago - 21 stars on GitHub
McCormick 0.13.6
A forward McCormick operator library33 versions - Latest release: 8 months ago - 4 dependent packages - 1 dependent repositories - 14 stars on GitHub
BilevelJuMP 0.6.2
Bilevel optimization in JuMP14 versions - Latest release: 9 months ago - 90 stars on GitHub
AvrutinSearch 0.1.0
A Julia implementation of the algorithm described in: Avrutin V et al. Calculation of homoclinic ...1 version - Latest release: 10 months ago - 0 stars on GitHub
EAGO 0.8.1
A development environment for robust and global optimization18 versions - Latest release: 11 months ago - 2 dependent repositories - 136 stars on GitHub
ValidatedNumerics 0.12.1
Rigorous floating-point calculations with interval arithmetic in Julia3 versions - Latest release: over 1 year ago - 1 dependent package - 6 dependent repositories - 81 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
ImplicitEquations 1.0.9
Julia package to facilitate graphing of implicit equations and inequalities12 versions - Latest release: over 1 year ago - 1 dependent package - 36 stars on GitHub
RvLineList 0.1.0
Package for generating masks and line lists for use in stellar radial velocity measurements1 version - Latest release: over 1 year ago - 1 stars on GitHub
Turmeric 1.0.0
Guaranteed parallel root finding focused on speed and reliability1 version - Latest release: over 1 year ago - 3 stars on GitHub
ProbabilityBoundsAnalysis 0.2.11
Probability bounds analysis in Julia14 versions - Latest release: over 1 year ago - 2 dependent packages - 24 stars on GitHub
PerronFrobenius 1.0.1
Estimating the transfer operator (Perron Frobenius operator) and invariant measures from time ser...18 versions - Latest release: over 1 year ago - 2 dependent packages - 2 dependent repositories - 4 stars on GitHub
NumberIntervals 0.2.2
Strict implementation of intervals-as-numbers6 versions - Latest release: over 1 year ago - 1 dependent package - 6 stars on GitHub
ModalIntervalArithmetic 0.1.0
Modal Interval (Kaucher) Arithmetic1 version - Latest release: over 1 year ago - 0 stars on GitHub
HePPCAT 0.1.2
Probabilistic PCA for samples with heterogeneous quality3 versions - Latest release: over 1 year ago - 2 stars on GitHub
NeRCA 0.10.0
19 versions - Latest release: over 1 year ago - 0 stars on GitHubAffineArithmetic 0.2.0
Affine arithmetic in Julia2 versions - Latest release: almost 2 years ago - 10 stars on GitHub
IntervalContractors 0.4.7
Interval contractors and inverse (reverse) functions for Julia11 versions - Latest release: almost 2 years ago - 5 dependent packages - 18 dependent repositories - 10 stars on GitHub
IntervalUnionArithmetic 0.2.3
An implementation of interval union arithmetic in Julia5 versions - Latest release: about 2 years ago - 9 stars on GitHub
IntervalLinearAlgebra 0.1.5
Linear algebra done rigorously6 versions - Latest release: over 2 years ago - 34 stars on GitHub
PossibilisticArithmetic 0.1.2
Julia package for performing rigorous arithmetic of Imprecise Probabilities with fuzzy numbers3 versions - Latest release: over 2 years ago - 12 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
UncertainData 0.16.0
Working efficiently with datasets where observations have associated uncertainties.38 versions - Latest release: over 2 years ago - 3 dependent packages - 7 dependent repositories - 16 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
InvariantMeasures 0.1.2
InvariantMeasures3 versions - Latest release: over 2 years ago - 0 stars on GitHub
CurveProximityQueries 0.2.0
Proximity Queries for Parametric Curves7 versions - Latest release: almost 3 years ago - 14 stars on GitHub
DataDrivenLux 0.1.1 💰
Data driven modeling and automated discovery of dynamical systems for the SciML Scientific Machin...2 versions - Latest release: over 4 years ago - 397 stars on GitHub
ConditionalJuMP 0.1.0
Automatic transformation of implications and complementarity into mixed-integer models in Julia1 version - Latest release: over 5 years ago - 1 dependent package - 4 dependent repositories - 29 stars on GitHub