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