Copilot-Language's tracked open-source repos, sorted by stars.
A stream-based runtime-verification framework for generating hard real-time C code.
