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
24 days ago
Versions
19
Downloads
858 total
    Loading...
    Readme
    Loading...
    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 about 3 years ago
    Last Synced 16 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