Flight Software
4 projects
Showing 4 of 4 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.6k
Forks1.7k
Last commit23 hours ago
ogmaHaskell
A command-line tool for generating runtime monitors for flight and robotics applications from formal specifications.
#robotics#runtime-monitoring#embedded-systems
Stars571
Forks55
Last commit2 days ago
TrickC++
A NASA-developed simulation framework for building applications across all phases of space vehicle development.
#nasa#flight-software#simulation-framework
Stars155
Forks68
Last commit1 day ago
adamantAda
A component-based, model-driven framework for building reliable embedded real-time software in Ada, originally for spacecraft flight software.
#real-time-software#embedded-systems#yaml-modeling
Stars48
Forks12
Last commit1 day ago
Related Tags
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.