XCmail is a MIME and multi POP3 capable mailtool for X11 using the Xclasses X11 layout library. Its main purpose is to read and write mail, allowing any kind of data to be attached. It can handle MIME types, has helpers to show different types, and can encode and decode binary data into ASCII to allow it to be transported as mail over the Internet. It has many built-in functions such as 2 vCards, unlimited POP3 servers, SMTP, SMTP after POP3, SMTP-AUTH (RFC2554), addressbook, encoders, filters, a special spam filter, spell checker, xface, and a new "virtual folder" concept. It also uses external programs to enhance its feature set. XCmail can be extended through a plugin interface.
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.
Real-Time Control Systems Library contains a mix of software found to be useful in the development of real-time control systems at the National Institute of Standards and Technology. It includes the Neutral Messaging Language (NML), which is used for simple configurable communications for both Java and C++ applications on a variety of operating systems. It also includes classes for converting between various coordinate systems (collectively called posemath), some XML parsing and generating tools, an .ini file reader, a timer interface, and more.