TKproE is a development environment for the production of software applications written in the TCL/TK scripting language. In short, TKproE is a Graphical User Interface (GUI) for building TCL/TK programs. TKproE is, itself, written in TCL/TK.
The FSKC is a CASE tool that allows developers to specify all valid and invalid state-event combinations of a finite state machine (FSM) through a simple to use GUI. Functions called from the FSK can be coded and linked to form a complete FSM.
SpecTcl is a WYSIWYG GUI-Builder for Tcl/Tk, with sibblings for generating code in Perl, Java, Python & Ruby. It runs on all platforms where Tcl/Tk runs. It is simple and quick to use, yet still powerful when you know your Tcl/Tk.