Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Haskell
Stargazers
- a6a3uhБюро 1440
- akoskovacsBudapest
- AleXoundOSTbilisi, Georgia
- alicewriteswrongsBloomberg
- Bad-ptrRussia
- bladewang
- chathhorn
- darrenldlAustralian National University
- DiGiTAL-CuRSe
- elldritch@fossas
- emil-miMicrosoft
- ericnething
- erikkaplunUXO
- fgarayGoogle
- fredyr
- hails
- haskellcamargo@Canva
- hultinGothenburg, Sweden
- jschornick
- lyxsusBuenos Aires, Argentina
- mailan2008
- mik30s
- objectxMeguro-ku, Tokyo
- olysess
- opensourcegeek
- peteknellerLondon, UK
- petersonCanberra, Australia
- rayyeeLees Robots Technology
- runelabs
- SanjitKal
- scurige
- shanemikel
- sjfloat
- sk1pJülich, Germany
- skull-squadron(stealth)
- zhost