Donate to Ukraine πŸ‡ΊπŸ‡¦

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.

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

2021

2020

2019

2018

2017

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.