A highly responsive Turing machine simulator with many examples and extensive documentation.
http://stud4.tuwien.ac.at/~e0225855/alana/alana.html
NEM Written in Tcl?