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