Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Haskell
Stargazers
- aKriJczCzech Republic
- albecoMunich, Germany
- bandali0@canonical
- chameco@GaloisInc
- chenjianxinTaipei
- cieplakStripe
- emqplusEMQ Technologies Co., Ltd
- gallowstreeGuatemala
- h4ck3rm1k3Introspector Software Services
- ivanovxQuattor
- jcp19ETH Zurich
- jmitchellSeattle
- johariApple
- KonstantinSimeonov@loancrate
- lookuptables
- mb720
- metric-space@arcee-ai
- Mikolaj
- mjardMisadventure Games
- mt-caret
- myShoggothWell.co
- potan
- RandyOblivion
- rationalthug
- rdbufMoscow, Russia
- rdspring1Rice University; @RUSH-LAB ; @Nvidia
- rodgerbrennan
- sergeyklay@airslateinc @airslate-oss
- sorryehMontreal, Canada
- sprhawkQingdao
- timothyklim
- tomtomjhj
- twopoint718@beflagrant
- vajrabisj
- vasiliyl
- xslr