动态可组合性演算 · 通俗课
curtiseng/cordis-course · 技能
动态可组合性演算 · 通俗课:Cordis 论文的交互式中文课程与译文
★ 4GitHub 星标
1分支
2026-09-05最近更新
TypeScript开发语言
MIT许可证
主要功能
- 两门互相衔接的通俗课,外加一份论文中文译文阅读页
- 课程里的每个数字都能在 deepseek-harness 仓库里核对:78 行来自 packages/bundle/base/cordis.patch.yml,工具名来自各 tool- 包的注册点,流水线与扩展点来自 docs/architecture.md。
- 推到 main 后由 .github/workflows/deploy.yml 自动构建并发布到 GitHub Pages。
- 每节课都配可以动手点的演示和一道随堂题,两门课的术语一一对应、双向链接。
- 仓库需要先在 Settings → Pages → Source 选择 GitHub Actions。
安装命令
dsh plugin --profile web add github:curtiseng/cordis-course