Générateur de moniteurs d'exécution pour les applications de vol et de robotique.
Revendiquez sa page : indexée quel que soit son rang, traduite en six langues, et enrichie de vos propres mots.
Recevez une alerte par e-mail à sa prochaine version ou quand il décolle — ne ratez plus rien.
Gratuit · sans carte · désinscription à tout momentGénérateur de moniteurs d'exécution pour les applications de vol et de robotique.
ogma compte 573 étoiles sur GitHub. Il a été forké 55 fois. ogma est écrit principalement en Haskell. Il est développé activement depuis 2021. ogma est disponible sous licence Apache-2.0. Ses principaux thèmes sont : assurance, autonomy, cfs, embedded-systems.
Générateur de moniteurs d'exécution pour les applications de vol et de robotique.
ogma est un projet open source. Il est distribué sous licence Apache-2.0.
Oui. ogma est gratuit et open source — vous pouvez l'utiliser, le modifier et l'héberger vous-même.
ogma est disponible sous licence Apache-2.0.
ogma est écrit principalement en Haskell.
Ajoutez ce badge en direct à votre README — vos étoiles GitHub et votre classement dans le répertoire, actualisés quotidiennement.
[](https://opensourceai.tech/project/nasa-ogma.html)