JQM - Java Quine McCluskey for minimization of Boolean functions.
A multi-modeling and simulation environment to study complex systems
turing machine simulation with gui
Enhanced Korat supports GUI, FSM, JUNG and JSON.
Simple Finite State Machine in Java