ogma
Generator of runtime monitors for flight and robotics applications.
Integrate safety checks into flight and robotics systems to monitor their performance in real-time.
Claim its page: indexed whatever its rank, translated into six languages, and enriched with what you write yourself.
Get an email alert on its next release or when it starts trending — never miss the moment.
Free · no card · unsubscribe anytimeGenerator of runtime monitors for flight and robotics applications.
ogma has 570 stars on GitHub. It has been forked 56 times. ogma is written mainly in Haskell. It has been in active development since 2021. ogma is available under the Apache-2.0 license. Its main topics are assurance, autonomy, cfs, embedded-systems.
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.
What license does ogma use?
ogma is available under the Apache-2.0 license.
What language is ogma written in?
ogma is written mainly in Haskell.
Add this live badge to your README — your GitHub stars and directory rank, refreshed daily.
[](https://olud.ai/project/nasa-ogma.html)
Measured from GitHub topics shared by both projects, weighted by how rare each topic is.