项目
记忆
跨平台加密语音日志应用
ndpc
适用于单类谓词形式逻辑的证明器
Aristotle
ndpc 的图形化集成开发环境
型理
教学Lambda式类型推导器
STLC_Lean
使用 Lean 4 对简单类型 λ 演算主类型推导进行形式化验证
色分布
图片色彩分布可视化
鞭策
可视化队友干了多少活，鞭策你的队友
boxproof-typst
在typst中写自然推理证明
成分
看看你的编程语言成分（统计代码行数）
guard.nvim
轻量、快速、异步的Neovim格式化和代码检查插件
扳手
极简C项目构建工具
笔记
极简Flutter笔记应用
小松鼠
基于Treesitter的Neovim导航插件
git-mirror
轻松配置和维护多个 Git 托管平台上的仓库镜像
大模型协创项目
dsh-desktop-pet
DeepSeek Harness 跨平台桌宠
dsh-vision
为 DeepSeek Harness 添加视觉能力
dsh-weixin
DeepSeek Harness 微信插件，支持收发文件
dsh-tui
DeepSeek Harness 的极简终端界面
大博弈
欧陆风云 5 架空地图编辑器
开源齐民
基于天气和历史数据的农产品价格预测系统
dired.nvim
个人 Neovim 文件树方案
SHI
一坨屎