Jonathan Becker

Nowadays I am mostly busy with my internship, but here are some fun projects that I have worked on in the past, either on my own or for classes:

  1. 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.

  2. 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.

  3. 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.