11 Packages since 2017
User Packages
-
LazySets.jl117A Julia package for calculus with convex sets
-
ReachabilityAnalysis.jl69Methods to compute sets of states reachable by dynamical systems
-
Reachability.jl50Reachability and Safety of Nondeterministic Dynamical Systems
-
MathematicalSystems.jl28Systems definitions in Julia
-
NeuralNetworkAnalysis.jl13Methods to verify neural network controlled systems using reachability analysis
-
IntervalMatrices.jl8Matrices with interval coefficients in Julia
-
RangeEnclosures.jl8A Julia package to compute range enclosures of real-valued functions.
-
BernsteinExpansions.jl7A Julia package to compute Bernstein coefficients of multivariate polynomials
-
SpaceExParser.jl6SpaceEx modeling language parser
-
CarlemanLinearization.jl4Carleman linearization for dynamical systems
-
MathematicalPredicates.jl3Predicate definitions in Julia
View all packages