Zum Hauptinhalt springen
buildradar
Sign in

Copilot-Language/copilot

@Copilot-Language

Ein streambasiertes Laufzeitverifikations-Framework zur Generierung von harten Echtzeit-C-Code.

Sterne
833
Forks
79
Sprache
Haskell
Lizenz
Letzter Push
vor 2 Monaten
Haskellstreamcembedded-systemscopilothaskellrequirementsruntime-monitoringruntime-monitoring-systemruntime-verificationrvrequirements-engineeringruntime-assurance

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.