discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
GitHub - Copilot-Language/copilot: A stream-based runtime-verification framework for generating hard real-time C code.
https://github.com/Copilot-Language/copilot
77 comments
Related searches:
Search whole site:
site:copilot-language.github.io
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon