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.
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).