Início Projetos ogma
ogma
Haskell

ogma

Gerador de monitores de tempo de execução para aplicações de voo e robótica.

por nasa · GitHub
Estrelas
Forks
Licença
Criado
Último commit
Categoria
Haskell
Linguagem
assuranceautonomycfsApache-2.0Haskell
Ver no GitHub
Em palavras simples

Integre verificações de segurança em sistemas de voo e robótica para monitorar seu desempenho em tempo real.

Mantem este projeto?

Reivindique a sua pagina: indexada seja qual for a posicao, traduzida em seis linguas e enriquecida com as suas palavras.

Reivindicar esta pagina →
ogma — GitHub preview card
📈 Histórico de estrelas
571570
2026-07-202026-08-31
📈 Acompanhe ogma

Receba um alerta por e-mail no próximo lançamento ou quando começar a bombar.

Grátis · sem cartão · cancele quando quiser
Receber alertas por e-mail →
📄 Sobre

Gerador de monitores de tempo de execução para aplicações de voo e robótica.

ogma tem 570 estrelas no GitHub. Foi bifurcado 56 vezes. ogma é escrito principalmente em Haskell. Está em desenvolvimento ativo desde 2021. ogma está disponível sob a licença Apache-2.0. Os seus principais temas são: assurance, autonomy, cfs, embedded-systems.

Frequently asked questions

O que é ogma?

Gerador de monitores de tempo de execução para aplicações de voo e robótica.

ogma é de código aberto?

ogma é um projeto de código aberto. É distribuído sob a licença Apache-2.0.

ogma é gratuito?

Sim. ogma é gratuito e de código aberto — você pode usá-lo, modificá-lo e hospedá-lo por conta própria.

Sob que licença está ogma?

ogma está disponível sob a licença Apache-2.0.

Em que linguagem ogma está escrito?

ogma é escrito principalmente em Haskell.

🏅 Mantenedor deste projeto?
olud.ai badge — ogma

Adicione este badge ao vivo ao seu README — suas estrelas do GitHub e classificação no diretório, atualizadas diariamente.

[![olud.ai](https://olud.ai/badge.php?tool=nasa-ogma)](https://olud.ai/project/nasa-ogma.html)
Mais opções de badge →
🧬 Partilha ADN com🧬 Ver o mapa de ADN →

Medido a partir dos topics do GitHub comuns aos dois projetos, ponderados pela sua raridade.