ogma

Generator of runtime monitors for flight and robotics applications.

Haskell★ 573

assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemrobotics

n@nasa++

fprime

F´ - A flight software and embedded systems framework

C++★ 12k

componentscppembeddedembedded-systemsflightflight-softwarefprimeframework

n@nasa++