Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).
steelpoll is a Web polling application which allows you to quickly and easily create and manage polls by just editing plain Tcl files. A single poll can be created by editing the variables in a single file. You can optionally control votes by checking the user's IP address. A parsed vote log can be viewed. It doesn't require any SQL database backend because it stores the results in easily parsed plain text files. It doesn't use graphics to display poll results, which is great for text-based Web browsers.
The Units Conversion Library provides a facility for converting from a variety of scientific and engineering shorthand notations into floating point numbers. This allows application developers to easily convert value strings like "9.2 meters/second" and "20 miles/hour" into uniformly scaled floating point numbers. The library is implemented in both Tcl and C, and supporting other scripting languages should be straightforward.
Riteway-Reorgs is a Tcl/TK GUI and Batch program to reorganize ISAM data files that are exclusive to the Synergy/DE product of Synergex International Inc. It lets you maintain peak Synergy/DE ISAM file and application performance. It requires an operational installation of Synergy/DE. It is built as a Tcl DevKit wrapped stand-alone executable, and requires the ActiveState Tcl DevKit to build.