14 Packages since 2017
User Packages
-
BernsteinExpansions.jl10A Julia package to compute Bernstein coefficients of multivariate polynomials
-
CarlemanLinearization.jl5Carleman linearization for dynamical systems
-
ClosedLoopReachability.jl38Reachability analysis for closed-loop control systems
-
Flowstar.jl3Julia wrapper for Flow*
-
IntervalMatrices.jl15Matrices with interval coefficients in Julia
-
LazySets.jl208Scalable Symbolic-Numeric Set Computations
-
MathematicalPredicates.jl3Predicate definitions in Julia
-
MathematicalSets.jl5Set definitions in Julia
-
MathematicalSystems.jl41Systems definitions in Julia
-
RangeEnclosures.jl17A Julia package to compute range enclosures of real-valued functions.
-
ReachabilityAnalysis.jl170Methods to compute sets of states reachable by dynamical systems
-
ReachabilityBase.jl1The base library for the JuliaReach ecosystem
-
ReachabilityModels.jl5A library of reachability models
-
SpaceExParser.jl7SpaceEx modeling language parser
View all packages