Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

ogma-cli

Generator of runtime monitors for flight and robotics applications.

Ecosystem
hackage.haskell.org
Latest Release
1.12.0
about 1 month ago
Versions
19
Downloads
892 total
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds
Links
Registry hackage.haskell.org
Source Repository
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:hackage/ogma-cli
spec
License Apache-2.0
First Release over 3 years ago
Last Synced 9 days ago
Keywords
aerospace apache program Propose Tags assurance autonomy cfs embedded-systems flight-software fprime robot-operating-system robotics ros ros2 runtime-monitoring runtime-monitoring-system runtime-verification rv space-ros spacecraft
Repository
Stars 479 on GitHub
Forks 40 on GitHub
repos.ecosyste.ms