Nominal Unification Library

A Python library for performing nominal unification.

Github Link

The Dependently Typed Binary Lambda Calculus

A simple esoteric programming language with dependent types.

Esolang Wiki Link Github Link

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.

Heroku Link Github Link

Ant’s Knapsack

A Flask-backend React application for an RPG-like game with the goal of maximizing the value of a finite inventory.

Netlify Link Github Link