nasa/ogma

Generador de monitores en tiempo de ejecución para aplicaciones de vuelo y robótica.

↗ Abrir en GitHub

Estrellas

579

Bifurcaciones

58

Lenguaje

Haskell

Licencia

Apache-2.0

Último push

hace 1 día

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

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.