开发

一些我参与开发的软件.

香蕉空间§

香蕉空间 是一个中文数学百科网站, 类似于 nLab. 其目标之一是鼓励中文数学写作.

香蕉空间有自己的排版语言 btex. 它类似于 LaTeX, 但不生成 PDF, 而是生成网页.

Lete Sans Math§

Lete Sans Math 是基于 Lato 字体的无衬线数学字体, 可以在 XeLaTeX 中通过 unicode-math 包使用.

nvim-gitstatus§

nvim-gitstatus 是一个简单的 Neovim 插件, 用于在状态栏中显示 git 状态.