| 「蝉语 / Cicada Language」一个新的 dependent type 语言!
4 程序员 • xieyuheng • 2022 年 1 月 16 日 • 最后回复来自 xieyuheng
|
4 |
| 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言
1 数学 • xieyuheng • 2022 年 1 月 23 日 • 最后回复来自 xieyuheng
|
18 |
| 一个简洁复古的 Hexo 主题 :) 分享创造 • daredevilll • 2018 年 10 月 14 日 • 最后回复来自 daredevilll | 10 |
| 「造个轮子」——cicada(轻量级 WEB 框架) 分享创造 • crossoverJie • 2018 年 9 月 3 日 • 最后回复来自 crossoverJie | 4 |