Development

A selected list of software that I have worked on.

Banana Space§

Banana Space (香蕉空间) is an online mathematics wiki in Chinese, similar to the nLab. One of its aims is to encourage mathematical writing in Chinese.

Banana Space has its own dedicated typesetting language, btex. It is similar to LaTeX, but it produces web pages instead of PDFs.

Lete Sans Math§

Lete Sans Math is a sans-serif maths font based on the Lato font. It can be used with XeLaTeX and the unicode-math package.

nvim-gitstatus§

nvim-gitstatus is a simple Neovim plugin providing a lualine component for displaying git status in the status line.