Copilot-Language/copilot

@Copilot-Language

基于流的运行时验证框架，用于生成硬实时（hard real-time）C 代码。

↗ 在 GitHub 打开

星数

835

Fork 数

79

语言

Haskell

许可

—

最后推送

2个月前

Haskell stream c embedded-systems copilot haskell requirements runtime-monitoring runtime-monitoring-system runtime-verification rv requirements-engineering runtime-assurance

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。