Explore @Copilot-Language Open Source projects

@Copilot-Language

Copilot-Language

Stars
735
Global Org. Rank 18,818 (Top 6 %)
Registered over 9 years ago
Most used languages

Haskell
83.3 %

TeX
8.3 %

CSS
8.3 %

copilot

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

copilot-language

(DEPRECATED) Front-end of Copilot defining the user language.

copilot-discussion

Repository containg reports and documentation on Copilot

copilot-verifier

System for verifying the correctness of generated Copilot programs

copilot-libraries

(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.

copilot-c99

(DEPRECATED) A C99-backend for Copilot

copilot-core

(DEPRECATED) Intermediate representation for Copilot.

copilot-language.github.io

Repository containing the Copilot website

copilot-sbv

(DEPRECATED) SBV backend for Copilot.

copilot-cbmc

(DEPRECATED) cbmc based tool for verifying copilot programs

copilot-bluespec

A Copilot backend for generating Bluespec code suitable for FPGAs.

change-requests

copilot-rust

Rust backend for Copilot (WIP)