由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

项目介绍 快速开始 学习路径 项目截图 1 贡献者 9 增长趋势 Commit 历史 代码统计 生态关系 项目时间线 项目竞品 上榜历史
rzk-lang

rzk-lang/rzk

Haskell 活跃
371
2026-10-04
304
+6
#4
33

项目介绍

基于合成 ∞ 范畴类型论的实验证明助手。

An experimental proof assistant based on a type theory for synthetic ∞-categories.

智能解读

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

智能标签

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

使用场景

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

项目健康度

B
61/100
良好
活跃度人气增长社区文档
活跃度 20/23

距上次更新 7 天

人气 18/25

平台 Star TOP 25% · Forks 33

增长 9/25

本周 +6 ⭐ · 本月 +24 ⭐

社区 7/17

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

文档 7/10

缺少 2 项内容

在 GitHub 上查看

项目信息

作者 rzk-lang
来源 GitHub
周期 每周
仓库ID rzk-lang/rzk
最新提交 2026-10-03 14:25:31
第一收录 2026-04-21 14:58:46
最后更新 2026-10-05 09:00:40

赞赏支持

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

微信打赏码

微信

支付宝打赏码

支付宝

评论 0

登录 后发表评论

加载评论中...

相关项目推荐

jgm

jgm/pandoc

通用标记转换器

46k Haskell
koalaman

koalaman/shellcheck

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

40k Haskell
PostgREST

PostgREST/postgrest

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

27k Haskell
simplex-chat

simplex-chat/simplex-chat

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

19k Haskell
hadolint

hadolint/hadolint

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

12k Haskell
purescript

purescript/purescript

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

8.9k Haskell
助手