Java

An interactive microwave in the browser to learn TLA+

Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.

Scrabble Inspired Anagram Solver

Research with v3.0 and how it could possibly teach those new to Java Data Structures