Space & ExplorationOpen Source Repo

nasa/ogma

548 starsHaskellUpdated Mar 14, 2026
About this repository
Generator of runtime monitors for flight and robotics applications.
assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsrosros2runtime-monitoringruntime-monitoring-systemruntime-verificationrvspace-rosspacecraft
GitHub · ROS·github.com
View repository on GitHubMore Space & Exploration
WOKHEI This is an open source repository surfaced by WokHei. The description above is from the original GitHub repo. Click "View repository" to explore the code, issues, and contributors.
Discussion
Join the discussion
Sign in for a verified badge and your comments appear instantly. Or post anonymously — anonymous comments are held briefly for moderation.
WokHei Digest
Workflow insights, delivered
Curated tips, tools, and tutorials for builders — twice a month, no spam.
Customize topics first