项目

记忆

跨平台加密语音日志应用

ndpc

适用于单类谓词形式逻辑的证明器

型理

教学Lambda式类型推导器

色分布

图片色彩分布可视化

鞭策

可视化队友干了多少活，鞭策你的队友

boxproof-typst

在typst中写自然推理证明

成分

看看你的编程语言成分（统计代码行数）

guard.nvim

轻量、快速、异步的Neovim格式化和代码检查插件

扳手

极简C项目构建工具

笔记

极简Flutter笔记应用

小松鼠

基于Treesitter的Neovim导航插件