Pular para o conteúdo principal
buildradar
Sign in

Copilot-Language/copilot

@Copilot-Language

Um framework de verificação em tempo de execução baseado em fluxo para gerar código C de tempo real rígido.

Estrelas
833
Bifurcações
79
Linguagem
Haskell
Licença
Último push
há 2 meses
Haskellstreamcembedded-systemscopilothaskellrequirementsruntime-monitoringruntime-monitoring-systemruntime-verificationrvrequirements-engineeringruntime-assurance

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.