搜索结果：copilot（2 个）
按分类缩小范围
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
cockpit-tools
综合 62
通用 AI IDE 账号管理工具，支持多账号切换、配额监控与多开实例管理。