Inicio Proyectos ogma
ogma
Haskell

ogma

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

por nasa · GitHub
Estrellas
Ramas
Licencia
Creado
Último commit
Categoría
Haskell
Lenguaje
assuranceautonomycfsApache-2.0Haskell
Ver en GitHub
En palabras simples

Integra controles de seguridad en sistemas de vuelo y robótica para monitorear su rendimiento en tiempo real.

¿Mantienes este proyecto?

Reivindica su pagina: indexada sea cual sea su posicion, traducida a seis idiomas y enriquecida con tus propias palabras.

Reivindicar esta pagina →
ogma — GitHub preview card
📈 Historial de estrellas
571570
2026-07-202026-08-31
📈 Sigue ogma

Recibe una alerta por correo en su próximo lanzamiento o cuando despegue — no te pierdas nada.

Gratis · sin tarjeta · cancela cuando quieras
Recibir alertas por email →
📄 Acerca de

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

ogma tiene 570 estrellas en GitHub. Se ha bifurcado 56 veces. ogma está escrito principalmente en Haskell. Se desarrolla activamente desde 2021. ogma está disponible bajo la licencia Apache-2.0. Sus temas principales son: assurance, autonomy, cfs, embedded-systems.

Frequently asked questions

¿Qué es ogma?

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

¿ogma es de código abierto?

ogma es un proyecto de código abierto. Se distribuye bajo la licencia Apache-2.0.

¿ogma es gratis?

Sí. ogma es gratuito y de código abierto: puedes usarlo, modificarlo y alojarlo tú mismo.

¿Bajo qué licencia está ogma?

ogma está disponible bajo la licencia Apache-2.0.

¿En qué lenguaje está escrito ogma?

ogma está escrito principalmente en Haskell.

🏅 ¿Mantenedor de este proyecto?
olud.ai badge — ogma

Agrega este distintivo en vivo a tu README — tus estrellas de GitHub y rango en el directorio, actualizados diariamente.

[![olud.ai](https://olud.ai/badge.php?tool=nasa-ogma)](https://olud.ai/project/nasa-ogma.html)
Más opciones de distintivos →
🧬 Comparte ADN con🧬 Ver el mapa de ADN →

Medido a partir de los topics de GitHub comunes a ambos proyectos, ponderados por su rareza.