1.nasa / fprimeF´ - A flight software and embedded systems frameworkflight-softwareembedded-systemsnasacppspaceflightreal-time+7 moreC++APACHE-2.012K total1.8K forks+997 starsfrom 10,858 · score 6.91
2.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+38 starsfrom 550 · score 3.66
3.lasp / adamantA model-based flight software framework for Adaadaada-sparkadamantflight-softwarefswsafety-criticalAdaAPACHE-2.051 total12 forks+5 starsfrom 46 · score 1.79