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