Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com : ReachabilityBase
Base library for the JuliaReach ecosystem
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:julia/ReachabilityBase
License: MIT
Latest release: about 1 month ago
First release: almost 2 years ago
Dependent packages: 7
Stars: 2 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
Top 5.7% on juliahub.com
142 versions - Latest release: 23 days ago - 18 dependent packages - 226 stars on GitHub
LazySets 2.13.0
Scalable symbolic-numeric set computations in Julia142 versions - Latest release: 23 days ago - 18 dependent packages - 226 stars on GitHub
ControllerFormats 0.2.2
Controller formats in Julia5 versions - Latest release: about 1 month ago - 2 dependent packages - 0 stars on GitHub
ClosedLoopReachability 0.5.3
Reachability analysis for closed-loop control systems in Julia13 versions - Latest release: about 2 months ago - 44 stars on GitHub
ReachabilityAnalysis 0.25.0
Computing reachable states of dynamical systems in Julia86 versions - Latest release: about 2 months ago - 1 dependent package - 187 stars on GitHub
NeuralNetworkReachability 0.1.1
Set propagation for neural networks in Julia3 versions - Latest release: 4 months ago - 1 dependent package - 1 stars on GitHub
RangeEnclosures 0.2.2 removed
A Julia package to compute range enclosures of real-valued functions.7 versions - Latest release: 8 months ago - 21 stars on GitHub
CarlemanLinearization 0.3.5
Carleman linearization for dynamical systems in Julia10 versions - Latest release: 9 months ago - 1 dependent package - 7 stars on GitHub