ogma
Générateur de moniteurs d'exécution pour les applications de vol et de robotique.
Intégrez des vérifications de sécurité dans les systèmes de vol et de robotique pour surveiller leurs performances en temps réel.
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 570 étoiles sur GitHub. Il a été forké 56 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.
Qu'est-ce que ogma ?
Générateur de moniteurs d'exécution pour les applications de vol et de robotique.
ogma est-il open source ?
ogma est un projet open source. Il est distribué sous licence Apache-2.0.
ogma est-il gratuit ?
Oui. ogma est gratuit et open source — vous pouvez l'utiliser, le modifier et l'héberger vous-même.
Sous quelle licence est ogma ?
ogma est disponible sous licence Apache-2.0.
Dans quel langage ogma est-il écrit ?
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://olud.ai/project/nasa-ogma.html)
Mesuré à partir des topics GitHub communs aux deux projets, pondérés par leur rareté.