Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com "verification" keyword
ReachabilityAnalysis 0.25.0
Computing reachable states of dynamical systems in Julia85 versions - Latest release: about 1 month ago - 1 dependent package - 185 stars on GitHub
Related Keywords