GitHubVC
Trending Repos
Trending Builders
Portfolio
AttentionVC
Sign In
Back to Trending
Star
Copilot-Language
/
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Haskell
c
copilot
embedded-systems
haskell
requirements
+7 more
Stars
826
+1 today
+1 /wk
+2 /mo
Forks
77
Issues
13
Watchers
826
Star History
30d
90d
Repository Info
Created
Jun 9, 2015
Last push
5/8/2026
Homepage
copilot-language.github.io
Copy Link
Share on X
Open on GitHub