BêtaRare
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
- Propriétaire
- Copilot-Language (organisation)
- Étoiles
- Étoiles : 839
- Forks
- Forks : 82
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2015
- Sujets
- runtime-verificationrvembedded-systemschaskellstreamcopilotrequirementsrequirements-engineeringruntime-monitoring
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- simplex-chat/simplexmqÉtoiles : 858HaskellBêta
- gwern/gwern.netÉtoiles : 848HaskellBêta
- joshuaclayton/unusedÉtoiles : 845HaskellBêta
- tmspzz/RomeÉtoiles : 823HaskellBêta
- cardano-foundation/cardano-walletÉtoiles : 822HaskellBêta
- AndrasKovacs/elaboration-zooÉtoiles : 807HaskellBêta