Connect 4 Game Engine
A Chess engine-esque Connect 4 analyzer
TLA+
Web Based TLA+ Microwave
An interactive microwave in the browser to learn TLA+
Software Engineer
Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.