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 - mermaid-js/mermaid: Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown https://github.com/mermaid-js/mermaid 6 comments
- GitHub - nasa/fprime: F´ - A flight software and embedded systems framework https://github.com/nasa/fprime 3 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - nasa/ogma: Generator of runtime monitors for flight and robotics applications.
See how to search.