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-extra

Generator of runtime monitors for flight and robotics applications.

Ecosystem
hackage.haskell.org
Latest Release
1.12.0
about 2 months ago
Versions
19
Downloads
925 total
Dependent Packages
1
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/ogma-extra
    spec
    License Apache-2.0
    First Release over 3 years ago
    Last Synced 8 days ago
    Keywords
    aerospace apache library 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 545 on GitHub
    Forks 45 on GitHub
    repos.ecosyste.ms