Software

I enjoy writing code in my spare time. Here are some of my favourite projects.

Banana Space

In 2021, I created Banana Space, an online mathematics wiki in Chinese, similar to the nLab. One of its aims is to encourage mathematical writing in Chinese.

I developed the typesetting language btex for Banana Space. It is very similar to LaTeX, but it produces web pages instead of PDFs.

Lato Math

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

Visual Alias

Visual Alias is a Visual Studio Code extension which displays alternative text for certain words or patterns in the code. This can be useful for LaTeX, where the command for a symbol can be displayed as the symbol itself.

Unicode Table

Unicode Table is a tool for editing Unicode strings.