Copilot Language

icon indicating a website link https://copilot-language.github.io/

icon location Stream-based runtime-verification framework for generating hard real-time C code.

Results 2 repositories owned by Copilot Language

copilot

600
Stars
47
Forks
Watchers

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

verified publisher icon Copilot-Language

copilot-language

15
Stars
3
Forks
Watchers

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

verified publisher icon Copilot-Language