According to this report, Tcl/Tk is used at the US DOD:

http://www.egovos.org/pdf/dodfoss.pdf

although they don't go into the specifics.