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
1.12.0
Published: about 1 month ago
Registry - Download
1.11.0
Published: 4 months ago
Registry - Download
1.10.0
Published: 6 months ago
Registry - Download
1.9.0
Published: 7 months ago
Registry - Download
1.8.0
Published: 8 months ago
Registry - Download
1.7.0
Published: 12 months ago
Registry - Download
1.6.0
Published: about 1 year ago
Registry - Download
1.5.0
Published: over 1 year ago
Registry - Download
1.4.1
Published: over 1 year ago
Registry - Download
1.4.0
Published: almost 2 years ago
Registry - Download
1.3.0
Published: almost 2 years ago
Registry - Download
1.2.0
Published: about 2 years ago
Registry - Download
1.1.0
Published: over 2 years ago
Registry - Download
1.0.11
Published: over 2 years ago
Registry - Download
1.0.10
Published: over 2 years ago
Registry - Download
1.0.9
Published: almost 3 years ago
Registry - Download
1.0.8
Published: almost 3 years ago
Registry - Download
1.0.7
Published: about 3 years ago
Registry - Download
1.0.6
Published: over 3 years ago
Registry - Download
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