JuliaReach

All

60 repositories

LazySets.jl
Public
Scalable symbolic-numeric set computations in Julia
calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra
Julia
•
Other
•37•250•359•27•Updated Sep 11, 2025Sep 11, 2025
RangeEnclosures.jl
Public
Enclosures of real-valued functions in Julia
Julia
•
MIT License
•3•23•14•9•Updated Sep 9, 2025Sep 9, 2025
ReachabilityAnalysis.jl
Public
Computing reachable states of dynamical systems in Julia
julia verification ode simulations dynamical-systems control-systems differential-equations interval-arithmetic hybrid-systems formal-verification
Julia
•
MIT License
•17•205•143•4•Updated Sep 6, 2025Sep 6, 2025
MathematicalSystems.jl
Public
Systems definitions in Julia
julia dynamical-systems
Julia
•
Other
•7•44•27•0•Updated Sep 5, 2025Sep 5, 2025
SpaceExParser.jl
Public
Parser for the SpaceEx modeling language in Julia
hybrid-systems model-based-design spaceex
Julia
•
MIT License
•2•6•14•0•Updated Aug 27, 2025Aug 27, 2025
JuliaReachTemplatePkg.jl
Public template
JuliaReach package template
Julia
•
MIT License
•0•0•0•0•Updated Aug 26, 2025Aug 26, 2025
CarlemanLinearization.jl
Public
Carleman linearization for dynamical systems in Julia
Julia
•
MIT License
•2•6•1•0•Updated Aug 25, 2025Aug 25, 2025
IntervalMatrices.jl
Public
Matrices with interval coefficients in Julia
interval-arithmetic intervals matrix-computations reachability-analysis matrix-exponential
Julia
•
Other
•2•19•16•1•Updated Aug 24, 2025Aug 24, 2025
MathematicalPredicates.jl
Public
Predicate definitions in Julia
Julia
•
MIT License
•0•5•2•3•Updated Aug 24, 2025Aug 24, 2025
ClosedLoopReachability.jl
Public
Reachability analysis for closed-loop control systems in Julia
neural-network robotics control-systems differential-equations hybrid-systems robustness
Polar
•
MIT License
•3•47•8•0•Updated Aug 23, 2025Aug 23, 2025
NeuralNetworkReachability.jl
Public
Set propagation for neural networks in Julia
Julia
•
MIT License
•0•2•5•1•Updated Aug 23, 2025Aug 23, 2025
ReachabilityBenchmarks
Public
JuliaReach benchmark suite
Jupyter Notebook
•
MIT License
•1•4•21•5•Updated Aug 23, 2025Aug 23, 2025
JuliaReachDevDocs
Public
JuliaReach development guidelines and resources
Julia
•
MIT License
•2•1•3•0•Updated Aug 18, 2025Aug 18, 2025
ControllerFormats.jl
Public
Controller formats in Julia
Julia
•
MIT License
•0•0•0•0•Updated Aug 18, 2025Aug 18, 2025
ReachabilityBase.jl
Public
Base library for the JuliaReach ecosystem
Julia
•
MIT License
•0•2•4•8•Updated Aug 18, 2025Aug 18, 2025
ReachabilityModels.jl
Public
JuliaReach model library
Julia
•
MIT License
•0•5•30•0•Updated Aug 17, 2025Aug 17, 2025
MathematicalSets.jl
Public
Set definitions in Julia
julia sets
Julia
•
MIT License
•0•5•8•0•Updated Aug 16, 2025Aug 16, 2025
BernsteinExpansions.jl
Public
Computing Bernstein coefficients of multivariate polynomials in Julia
polynomials intervals bernstein
Julia
•
Other
•2•10•8•0•Updated Aug 16, 2025Aug 16, 2025
ARCH2025_AINNCS_RE
Public
Repeatability package for ARCH-COMP 2025 AINNCS
Julia
•0•0•0•0•Updated Jul 16, 2025Jul 16, 2025
ARCH2025_NLN_RE
Public
Repeatability package for ARCH-COMP 2025 NLN
Julia
•0•0•0•0•Updated Jul 16, 2025Jul 16, 2025
ARCH2025_AFF_RE
Public
Repeatability package for ARCH-COMP 2025 AFF
Julia
•0•0•0•0•Updated Jul 16, 2025Jul 16, 2025
Flowstar.jl
Public
Julia wrapper for Flow*
Julia
•
MIT License
•0•3•1•0•Updated Apr 2, 2025Apr 2, 2025
JuliaReach-website
Public
Website of the JuliaReach organization
Jupyter Notebook
•
MIT License
•3•5•1•0•Updated Oct 2, 2024Oct 2, 2024
juliareach.github.io
Public
HTML
•0•0•0•0•Updated Oct 2, 2024Oct 2, 2024
ARCH2024_AFF_RE
Public
Repeatability package for ARCH-COMP 2024 AFF
Julia
•0•0•0•0•Updated Jul 1, 2024Jul 1, 2024
ARCH2024_AINNCS_RE
Public
Repeatability package for ARCH-COMP 2024 AINNCS
Julia
•0•0•0•0•Updated Jun 9, 2024Jun 9, 2024
ARCH2024_NLN_RE
Public
Repeatability package for ARCH-COMP 2024 NLN
Julia
•0•0•0•0•Updated Jun 9, 2024Jun 9, 2024
ARCH2023_AINNCS_RE
Public
Repeatability package for ARCH-COMP 2023 AINNCS
Julia
•0•1•0•0•Updated Apr 12, 2024Apr 12, 2024
ARCH2023_NLN_RE
Public
Repeatability package for ARCH-COMP 2023 NLN
Julia
•0•0•0•0•Updated Apr 12, 2024Apr 12, 2024
ARCH2023_AFF_RE
Public
Repeatability package for ARCH-COMP 2023 AFF
Julia
•0•0•0•0•Updated Apr 12, 2024Apr 12, 2024