nasa/ogma

Generator of runtime monitors for flight and robotics applications.

Stars: 582
Forks: 60
Open beginner issues: 0
Indexed issues: 6
Avg merge: 13h 1m
Merged PRs (30d): 22

Dominant language: Haskell
License: Apache-2.0
Last GitHub push: Sep 18, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

6 open issues indexed

`ogma-cli`: README documents `--handlers` for the `ros` and `fprime` backends, but the CLI accepts `--handlers-file` Open

Difficulty 1/5 Under an hour Newbie friendliness 92/100

nasa/ogma#594 · Opened Sep 12, 2026
`ogma-core`: F Prime template exposes monitor verdicts only as events, and hardcodes `module Ref` Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

nasa/ogma#593 · Opened Sep 12, 2026
`ogma-core`: ROS 2 template subscribes with default QoS, so generated monitors receive nothing from best-effort publishers Open

Difficulty 3/5 1-2 days Newbie friendliness 72/100

nasa/ogma#592 · Opened Sep 12, 2026
`ogma-core`: Add regression test for `mergeSpecs` with multiple input files Open

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

nasa/ogma#555 · Opened Aug 23, 2026
`ogma-core`: `mergeSpecs` duplicates second spec's external variables instead of merging both Open

Difficulty 2/5 1-3 hours Newbie friendliness 90/100

nasa/ogma#551 · Opened Aug 22, 2026
`ogma-cli`: Update README with new capabilities Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

nasa/ogma#212 · 3 comments · Opened Jan 23, 2025

A short digest of beginner-friendly GitHub issues.