Yes, GIPSY [http://www.prs.de/int/products/gipsy/] is Tcl-based.