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

Copilot-Language/copilot

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

项目简介

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

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

智能解读

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

智能标签

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

使用场景

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

项目健康度

37
D 较差

综合活跃度、人气、增长、社区、文档评估

活跃度
2/25
人气
18/25
增长
7/20
社区
5/15
文档
5/15
在 GitHub 上查看

项目信息

作者 Copilot-Language
来源 GitHub
周期 每月
仓库 ID Copilot-Language/copilot
首次采集 2026-02-01 10:05:10
最后更新 2026-02-01 10:23:57

赞赏支持

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

微信打赏码

微信

支付宝打赏码

支付宝

评论 0

登录 后发表评论

加载评论中...

相关项目推荐

jgm

jgm/pandoc

通用标记转换器

42k Haskell
koalaman

koalaman/shellcheck

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

39k Haskell
PostgREST

PostgREST/postgrest

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

26k Haskell
hadolint

hadolint/hadolint

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

11k Haskell
simplex-chat

simplex-chat/simplex-chat

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

10k Haskell
purescript

purescript/purescript

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

8.8k Haskell
助手