Projects in Awesome Lists by Copilot-Language
A curated list of projects in awesome lists by Copilot-Language .
https://github.com/copilot-language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
c copilot embedded-systems haskell runtime-verification rv stream
Last synced: 15 May 2025
https://github.com/copilot-language/copilot-discussion
Repository containg reports and documentation on Copilot
Last synced: 24 Oct 2025
https://github.com/copilot-language/copilot-verifier
System for verifying the correctness of generated Copilot programs
Last synced: 09 Sep 2025
https://github.com/copilot-language/copilot-bluespec
A Copilot backend for generating Bluespec code suitable for FPGAs.
Last synced: 21 Apr 2025
https://github.com/copilot-language/copilot-language.github.io
Repository containing the Copilot website
Last synced: 21 Apr 2025
https://github.com/copilot-language/copilot-rust
Rust backend for Copilot (WIP)
Last synced: 23 Feb 2025