nasa/ogma

@nasa

Generator für Laufzeitmonitore für Flug- und Robotikanwendungen.

↗ Auf GitHub öffnen

Sterne

579

Forks

Sprache

Haskell

Lizenz

Apache-2.0

Letzter Push

vor 2 Tagen

Haskell robotics embedded-systems ros2 ros robot-operating-system assurance autonomy cfs flight-software fprime runtime-monitoring runtime-monitoring-system runtime-verification rv space-ros spacecraft

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.

Verwandte Intel (0)

Noch keine verwandte Intel