A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.
LooperDB is a secure, multithreaded alert database used primarily for network/security management. It is indended to be used as a central MoM (manager-of-managers) platform to collect, consolidate, and correlate event messages. When coupled with looper, LooperDB can provide the framework for a sophisticated alert management infrastructure.
Sinstall (Source INSTALLer) is a flexible source package installer. It's able to build and install any kind of source, trace make install installations, and create uninstall records. It's also able to correct some configure and make errors, optimize the compilation, check existing installations, download packages, guess configure parameters and Makefile's targets, find dependencies, and create distribution packages.
XmlRpc++ is an implementation of the XML-RPC protocol written in C++. It is designed to make it easy to incorporate XmlRpc client and server support into C++ applications. The library is easy to incorporate into C++ applications. Simple XML parsing and HTTP support are built in. All I/O is non-blocking, so a slow client or network will not slow down the server.