Pinned

1. copilot copilot Public

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

   Haskell 597 47

2. copilot-verifier copilot-verifier Public

   System for verifying the correctness of generated Copilot programs

   Haskell 13 1

3. copilot-bluespec copilot-bluespec Public

   A Copilot backend for generating Bluespec code suitable for FPGAs.

   Haskell 1

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

   Repository containing the Copilot website

   CSS 3 1

5. copilot-discussion copilot-discussion Public

   Repository containg reports and documentation on Copilot

   TeX 13 1