projects

venice

A modern, high-level, statically-typed programming language. Find out more on GitHub.

cities of the world

A collection of geography quizzes that challenge you to name as many cities, towns and villages in a country or continent as you can. See the full list at cityquiz.io.

hera-py

A virtual machine, assembler, and debugger for the Haverford Educational RISC Architecture (HERA), a custom assembly language used by Haverford College's computer science department. You can play with it in online sandbox, or view the source code on GitHub.

other projects

For a full list, see my GitHub profile.

2022

• khaganate: a suite of personal productivity software. (blog post)

2021

• isqlite: an improved Python interface to SQLite. (blog post)

2020

• precommit: a simple tool to manage git pre-commit hooks. (blog post)
• boggle: a command-line implementation of the board game Boggle.

2019

• drill: spaced-repetition quizzes on the command line.
• torino: a toy imperative programming language written in Go.
• tiny-interpreter: a minimal bytecode-interpreted language.
• abstract-machine-zoo: concrete implementations of abstract machines in Haskell.

2018

• montague: a natural language understanding system based on formal semantics.
• twitter twin (code): a web app to match with your most similar Twitter celebrity. 2018 Tri-Co Hackathaon project co-written with Conor Stuart Roe and Emily Lin.
• writingstreak: a locally-hosted web app for daily writing.

2017

• scam: a toy functional programming language (Scheme, but on a budget).
• guatemalawi: generate amusing combinations of real-world country names.
• byte-me (code): a web app to interactively compile Python source code into bytecode. Co-written with Noah Kim.

theses

DP-internal only in English and Russian: My undergraduate thesis in linguistics, on the formal semantics of the word only.

The Ergonomics of Faceted Execution: My undergraduate thesis in computer science, on faceted execution.