Flight Software
3 projects
Showing 3 of 3 projects
F PrimeC++
A flight-proven, component-driven framework for rapid development of spaceflight and embedded software applications.
#component-architecture#embedded-systems#model-driven-development
Stars11.0k
Forks1.5k
Last commit9 hours ago
ogmaHaskell
A command-line tool for generating runtime monitors for flight and robotics applications from formal specifications.
#robotics#runtime-monitoring#embedded-systems
Stars559
Forks51
Last commit7 days ago
TrickC++
A NASA-developed simulation framework for building applications across all phases of space vehicle development.
#nasa#flight-software#simulation-framework
Stars143
Forks63
Last commit12 hours ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.