KildClient is a MUD client written with the GTK+ windowing toolkit. It supports many common features of other clients, such as triggers, gags, aliases, macros, timers, and much more. But its main feature is the built-in Perl interpreter. At any moment, the user can execute Perl statements and functions to do things much more powerful than simply sending text the the MUD. Perl statements can also be run, for example, as the action of a trigger, allowing you to do complex things.
COID is an object-oriented networking library with a tool that automatically generates a lightweight communication layer directly from a C++ class declaration. The coidgen tool automatically extracts designated classes and methods from specified header files and generates a corresponding client class and host dispatcher. The server library manages networked and local connections and provides various services to running objects. The communication layer establishes either remote connection through TCP or direct (vtable) connection between the client and the server (if they reside in the same process).
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.