# JuliaReach/ReachabilityAnalysis.jl

<https://repo.masters-masters.com/en/repos/JuliaReach/ReachabilityAnalysis.jl>

[Home](https://repo.masters-masters.com/en) › [JuliaReach](https://repo.masters-masters.com/en/owners/JuliaReach) › [ReachabilityAnalysis.jl](https://repo.masters-masters.com/en/repos/JuliaReach/ReachabilityAnalysis.jl)

JuliaReach/ReachabilityAnalysis.jl has 218 stars on GitHub. Its RepoMasters card: Prototype tier. Computing reachable states of dynamical systems in Julia

| Field | Value |
| --- | --- |
| Owner | [JuliaReach](https://repo.masters-masters.com/en/owners/JuliaReach) |
| Stars | 218 |
| Forks | 17 |
| Language | [Julia](https://repo.masters-masters.com/en/languages/julia) |
| License | MIT |
| Created | 2019 |
| Topics | numerical-analysis, hybrid-systems, formal-verification, cyber-physical-systems, reachability-analysis, rigorous-numerics, differential-equations, interval-arithmetic, dynamical-systems, control-systems |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [JuliaReach/ReachabilityAnalysis.jl](https://github.com/JuliaReach/ReachabilityAnalysis.jl) |

## Repository

Computing reachable states of dynamical systems in Julia

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by JuliaReach

- [JuliaReach/LazySets.jl · ★ 258 · Julia · Alpha](https://repo.masters-masters.com/en/repos/JuliaReach/LazySets.jl)

## Nearby in Julia

- [gaurav-arya/StochasticAD.jl · ★ 219 · Julia · Prototype](https://repo.masters-masters.com/en/repos/gaurav-arya/StochasticAD.jl)
- [JuliaLang/METADATA.jl · ★ 218 · Julia · Prototype](https://repo.masters-masters.com/en/repos/JuliaLang/METADATA.jl)
- [JuliaGPU/oneAPI.jl · ★ 218 · Julia · Prototype](https://repo.masters-masters.com/en/repos/JuliaGPU/oneAPI.jl)
- [JuliaGeometry/GeometryBasics.jl · ★ 217 · Julia · Prototype](https://repo.masters-masters.com/en/repos/JuliaGeometry/GeometryBasics.jl)
- [SciML/Sundials.jl · ★ 216 · Julia · Prototype](https://repo.masters-masters.com/en/repos/SciML/Sundials.jl)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.