项目介绍 快速开始 学习路径 贡献者 27 增长趋势 代码统计 生态关系 项目时间线 项目竞品 依赖分析 上榜历史
Copilot-Language

Copilot-Language/copilot

Haskell
173
2026-01-31
797
+4
#10
73

项目介绍

一个基于流的运行时验证框架，用于生成硬实时C代码。

A stream-based runtime-verification framework for generating hard real-time C code.

智能解读

点击生成更详细的项目介绍

智能标签

生成技术栈、用途、特征、受众等多维度标签

使用场景

了解这个项目能帮你解决什么问题

项目健康度

D
23/100
较差
活跃度人气增长社区文档
活跃度 0/23

从未记录更新时间

人气 9/25

平台 Star TOP 74% · Forks 73

增长 0/25

暂无近期增长数据

社区 9/17

27 位贡献者 · 0 条平台评论

文档 5/10

缺少 3 项内容

2 项改进建议
  • 活跃度：项目已超过 999 天未更新，可能处于低维护状态
  • 增长：近期 Star 增长缓慢，项目热度有待提升
在 GitHub 上查看

项目信息

作者 Copilot-Language
来源 GitHub
周期 每月
仓库ID Copilot-Language/copilot
第一收录 2026-02-01 10:05:10
最后更新 2026-02-01 10:23:57

赞赏支持

如果本站对你有帮助，欢迎打赏支持

微信打赏码

微信

支付宝打赏码

支付宝

评论 0

登录 后发表评论

加载评论中...

相关项目推荐

jgm

jgm/pandoc

通用标记转换器

43k Haskell
koalaman

koalaman/shellcheck

ShellCheck：用于Shell脚本的静态分析工具

39k Haskell
PostgREST

PostgREST/postgrest

适用于任意Postgres数据库的REST API

26k Haskell
hadolint

hadolint/hadolint

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

12k Haskell
simplex-chat

simplex-chat/simplex-chat

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

10k Haskell
purescript

purescript/purescript

一种可编译为JavaScript的强类型语言

8.8k Haskell
助手