Hacker News
- NASA Ogma: generate hard-realtime C runtime monitoring applications https://github.com/nasa/ogma 22 comments
Linking pages
Linked pages
- ROS: Home http://www.ros.org/ 165 comments
- GitHub - Copilot-Language/copilot: A stream-based runtime-verification framework for generating hard real-time C code. https://github.com/Copilot-Language/copilot 77 comments
- GitHub - NASA-SW-VnV/fret: A framework for the elicitation, specification, formalization and understanding of requirements. https://github.com/NASA-SW-VnV/fret 34 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - nasa/ogma
See how to search.