1.nasa / fprimeF´ - A flight software and embedded systems frameworkflight-softwareembedded-systemsnasacppspaceflightreal-time+7 moreC++APACHE-2.012K total1.8K forks+77 starsfrom 11,778 · score 4.36
2.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+4 starsfrom 584 · score 1.61
3.lasp / adamantA model-based flight software framework for Adaadaada-sparkadamantflight-softwarefswsafety-criticalAdaAPACHE-2.051 total12 forks+1 starsfrom 50 · score 0.69