A GUI for the FSM Library https://jschappel.github.io/FSM-Visualization/
A grapical visualization tool built by Marco T. Morazan, Joshua Schappel, and Sachin Mahashabde (names in no particular order) for classroom automata theory. This project was presented at TFPIE 2020 in Krakow Poland and is awaiting publication.