BetaRare
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
- Owner
- Copilot-Language (organization)
- Stars
- Stars: 839
- Forks
- Forks: 82
- Language
- Haskell
- License
- None
- Created
- 2015
- Topics
- runtime-verificationrvembedded-systemschaskellstreamcopilotrequirementsrequirements-engineeringruntime-monitoring
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Haskell
All Haskell repos- simplex-chat/simplexmqStars: 858HaskellBeta
- gwern/gwern.netStars: 848HaskellBeta
- joshuaclayton/unusedStars: 845HaskellBeta
- tmspzz/RomeStars: 823HaskellBeta
- cardano-foundation/cardano-walletStars: 822HaskellBeta
- AndrasKovacs/elaboration-zooStars: 807HaskellBeta