Copilot Language

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

Haskell 353 22 18 1 Updated Jun 17, 2022
copilot-language.github.io Public
Repository containing the Copilot website

CSS 0 BSD-3-Clause 1 2 1 Updated May 16, 2022
change-requests Public

0 0 0 0 Updated Dec 16, 2021
copilot-discussion Public
Repository containg reports and documentation on Copilot

TeX 7 0 2 0 Updated Mar 29, 2021
copilot-c99 Public archive
(DEPRECATED) A C99-backend for Copilot

Haskell 6 3 0 0 Updated Mar 29, 2021
copilot-core Public archive
(DEPRECATED) Intermediate representation for Copilot.

Haskell 5 2 0 0 Updated Mar 29, 2021
copilot-language Public archive
(DEPRECATED) Front-end of Copilot defining the user language.

Haskell 15 3 0 0 Updated Mar 29, 2021
copilot-theorem Public archive
(DEPRECATED) A library for using model-checking techiques with Copilot programs

Haskell 6 3 0 0 Updated Mar 29, 2021
copilot-libraries Public archive
(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.

Haskell 8 2 0 0 Updated Mar 7, 2021
copilot-sbv Public archive
(DEPRECATED) SBV backend for Copilot.

Haskell 4 0 0 0 Updated Mar 30, 2019

Pinned