项目描述 ：
A stream-based runtime-verification framework for generating hard real-time C code.

高级语言： Haskell

项目主页： http://copilot-language.github.io

项目地址: git://github.com/Copilot-Language/copilot.git

创建时间： 2015-06-09T23:48:41Z
项目社区：https://github.com/Copilot-Language/copilot
开源协议：Other
下载