Accueil Projets ogma
ogma

ogma

par nasa · GitHub

Générateur de moniteurs d'exécution pour les applications de vol et de robotique.

Voir sur GitHub
⭐ Étoiles
🍴 Forks
🔥 Tendances
📜 Licence
Utilisation commerciale autorisée
📅 Créé
🔄 Dernier commit
🏷️ Catégorie
💻 Langue
Haskell
Vous maintenez ce projet ?

Revendiquez sa page : indexée quel que soit son rang, traduite en six langues, et enrichie de vos propres mots.

Revendiquer cette page →
ogma — GitHub preview card
📈 Historique des étoiles
573570
2026-07-202026-07-29
📈 Suivez ogma

Recevez une alerte par e-mail à sa prochaine version ou quand il décolle — ne ratez plus rien.

Gratuit · sans carte · désinscription à tout moment
Recevoir des alertes e-mail →
📄 À propos

Gé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.

Frequently asked questions

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.

🏅 Mainteneur de ce projet ?
OpenSourceAI badge — ogma

Ajoutez ce badge en direct à votre README — vos étoiles GitHub et votre classement dans le répertoire, actualisés quotidiennement.

[![OpenSourceAI](https://opensourceai.tech/badge.php?tool=nasa-ogma)](https://opensourceai.tech/project/nasa-ogma.html)
Plus d'options de badge →