1.nasa / fprimeF´ - A flight software and embedded systems frameworkflight-softwareembedded-systemsnasacppspaceflightreal-time+7 moreC++APACHE-2.012K total1.8K forks+288 starsfrom 11,567 · score 5.67
2.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+15 starsfrom 573 · score 2.77
3.lasp / adamantA model-based flight software framework for Adaadaada-sparkadamantflight-softwarefswsafety-criticalAdaAPACHE-2.051 total12 forks+2 starsfrom 49 · score 1.10