https://docs.keinmal.top/projects/ Recent content in 项目 on Docs Hugo --0.165.0 zh-cnwyz2016zxc@outlook.com(Hiraeth)wyz2016zxc@outlook.com(Hiraeth) https://docs.keinmal.top/projects/suckless/ Sat, 29 Aug 2026 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/projects/suckless/ 桌面环境组件的个性化分支合集，主要以 C 语言编写。 https://docs.keinmal.top/projects/rethlas/ Sat, 29 Aug 2026 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/projects/rethlas/ 自然语言数学推理系统——fork 自 frenzymath/Rethlas 并做了扩展。 https://docs.keinmal.top/projects/lichtung/ Sat, 29 Aug 2026 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/projects/lichtung/ 一款 Hugo 静态网站主题 https://docs.keinmal.top/projects/pi-board/ Thu, 20 Aug 2026 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/projects/pi-board/ Pi 的插件，方便引用文件和对话历史，组装prompt，用浏览器前端 https://docs.keinmal.top/projects/lean-toric/ Mon, 01 Jan 0001 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/projects/lean-toric/ 学习Lean4的过程中，尝试用Lean4来做Toric几何的计算。