# JuliaReach/ReachabilityAnalysis.jl

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

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

JuliaReach/ReachabilityAnalysis.jl, dépôt open source à 218 étoiles sur GitHub. Carte Prototype de RepoMasters. Computing reachable states of dynamical…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [JuliaReach](https://repo.masters-masters.com/owners/JuliaReach) |
| Étoiles | 218 |
| Forks | 17 |
| Langage | [Julia](https://repo.masters-masters.com/languages/julia) |
| Licence | MIT |
| Création | 2019 |
| Sujets | numerical-analysis, hybrid-systems, formal-verification, cyber-physical-systems, reachability-analysis, rigorous-numerics, differential-equations, interval-arithmetic, dynamical-systems, control-systems |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [JuliaReach/ReachabilityAnalysis.jl](https://github.com/JuliaReach/ReachabilityAnalysis.jl) |

## Fiche du dépôt

Computing reachable states of dynamical systems in Julia

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de JuliaReach

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

## D’autres dépôts Julia

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.