Nominal Unification Library
A Python library for performing nominal unification.
The Dependently Typed Binary Lambda Calculus
A simple esoteric programming language with dependent types.
Predicting the Winner of Pokémon Battles
A Dash app which allows one to get a probabilistic prediction for the winner of a Pokémon battle given a team.
Ant’s Knapsack
A Flask-backend React application for an RPG-like game with the goal of maximizing the value of a finite inventory.