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).
sendPGPMail.cgi is a small CGI script for sending an encrypted PGP email message to a predefined receiver from an HTTPS secured Web page. The typical use of this script is to provide the users of a secure Web site the possibility to send a secure email to a predefined employee of a company. The CGI script gets its input from an HTML form and passes it on to gpg. The message and its attachments are encrypted using the PGP public key of the predefined receiver.
NaviServer is a versatile multiprotocol server originally based on AOLserver . It can be easily extended in either C or Tcl to create interesting Web sites and services. Main features include high performance multithreaded architecture, massive scalability and extensible approach, many modules, interpreted config file during startup, dynamic pages (ADP) in TCL, caching functions (static files and TCL byte code), pooled database connections, thread global arrays, introspection commands, mass virtual hosting that does not require server restart, a watchdog that restarts failed servers automatically, a telnet control port, efficient handling of down-/uploads, real-time upload progress/statistics, and more.
TK10 is a GUI for the Bottlerocket program. It provides a graphical interface for controlling X10 modules that come with the X10 Firecracker kit. TK10 is designed to mimic the look and functionality of the HR12A controller unit that comes with the X10 Firecracker kit. If you are familiar with the HR12A, then you will find TK10 very easy to use. The on/off/dim buttons, device letter dial, and device number range switch work just like in the HR12A, and you can also edit the device labels.
The QConsole class is a custom widget that implements a basic console, written in C++ and relying on Qt. It implements several features and is intended to be inherited from in order to have a "real" console for a specific scripting language, shell, etc. Example implementations for TCL and Python are included.