ogma

Generator of runtime monitors for flight and robotics applications.

Haskell★ 573

assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemrobotics

n@nasa++

awesome-weekly-robotics

A list of projects that were or will be featured in Weekly Robotics newsletter

code★ 1.1k

3d-printingautomationawesomeawesome-listdiyhardwarerobot-armsrobot-operating-system

m@msadowski++