ogma
by nasa · GitHub
Generator of runtime monitors for flight and robotics applications.
⭐ Stars
570
🍴 Forks
56
📜 License
Apache-2.0
Commercial use OK📅 Created
2021
🔄 Last commit
3 days ago
🏷️ Category
assurance
💻 Language
Haskell
You maintain this project?
Claim its page: indexed whatever its rank, translated into six languages, and enriched with what you write yourself.
📈 Star history
2026-07-202026-07-21
📄 About
Generator of runtime monitors for flight and robotics applications.
❓ Frequently asked questions
What is ogma?
Generator of runtime monitors for flight and robotics applications.
Is ogma open source?
ogma is an open-source project. It is released under the Apache-2.0 license.
Is ogma free?
Yes. ogma is free and open source — you can use, modify and self-host it.
🏅 Maintainer of this project?
Add this live badge to your README — your GitHub stars and directory rank, refreshed daily.
[](https://opensourceai.tech/project/nasa-ogma.html)
🧬 Related projects🧬 View the DNA map →
