Here are some interesting or useful projects that I am particularly proud of:
Bedun is a first-of-its-kind webapp allowing users to search a Manchu dictionary using three different methods. It was used in the Elementary Manchu class at SOAS in London.
Korean Honorifics Modeling is a project I did as part of my Logic For Systems course at Brown. We used Forge, a lightweight formal-methods tool, to create a formal model of Korean honorifics as they apply to verbs.
My dotfiles are all available and updated on GitHub, covering NeoVim, Yabai, Fish, and more. While this is largely just to track the specific plugins and settings that I use, I have also made small tweaks to the Lua myself when necessary.