nasa/ogma
Generator of runtime monitors for flight and robotics applications.
116 best points · 23 comments · 2 Hacker News posts · 588 GitHub stars · View on GitHub
Hacker News discussions
- NASA Ogma: generate hard-realtime C runtime monitoring applications (116 points, 22 comments, by runeks, 2021-12-12)
- NASA releases robotic / flight app generation tool Ogma under Apache license (3 points, 1 comments, by ivanperez-keera, 2025-11-04)