discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Copilot: Realtime programming language and runtime verification framework
https://copilot-language.github.io/
63 comments
25/8/2022
Linking pages
11 Companies That Use Haskell in Production
https://serokell.io/blog/top-software-written-in-haskell
280 comments
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