nasa/ogma

Generator monitor runtime untuk aplikasi penerbangan dan robotika.

↗ Buka di GitHub

Bintang

579

Fork

58

Bahasa

Haskell

Lisensi

Apache-2.0

Push terakhir

1 hari yang lalu

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

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.