ogma

Generator of runtime monitors for flight and robotics applications.

Haskell★ 573

assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemrobotics

n@nasa++

kubevious

Kubevious - Kubernetes without disasters

code★ 1.7k

assurancecloudcloud-nativeconfigurationcontainersdashboarddashboard-applicationdebugging

k@kubevious++