GitHub

Copilot-Language/copilot

 71 forks
 752 stars

Description

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

Homepage

https://github.com/copilot-language/copilot

Project metadata as of .

Related Packages

2

A related package is a package that declares this repository in its metadata. The list of packages is ordered by package names alphabetically.

SystemPackage
Gogithub.com/Copilot-Language/copilot
Gogithub.com/copilot-language/copilot
Show 10 per page