Notice:This resource is provided by a third-party author. Please review the code with AI tools or manually before use to ensure security and compatibility.
HaskellCopilot-Language/copilot
copilot
A stream-based runtime-verification framework for generating hard real-time C code.