Copilot Language

Pinned Loading

1. copilot copilot Public

   A stream-based runtime-verification framework for generating hard real-time C code.

   Haskell 835 79

2. copilot-verifier copilot-verifier Public

   System for verifying the correctness of generated Copilot programs

   Haskell 19 1

3. copilot-bluespec copilot-bluespec Public

   A Copilot backend for generating Bluespec code suitable for FPGAs.

   Haskell 7 2

4. copilot-language.github.io copilot-language.github.io Public

   Repository containing the Copilot website

   CSS 5 3

5. copilot-discussion copilot-discussion Public

   Repository containg reports and documentation on Copilot

   TeX 18 1

6. copilot-rust copilot-rust Public

   Rust backend for Copilot (WIP)

   Haskell 3 1