WinSwitch is a compact replacement for Apple's Fast User Switching menu on Mac OS X 10.3 that saves menu bar space by allowing you to show an icon, custom user picture, or short username instead of the full username, while faithfully replicating and improving the other features of Apple's menu.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
MobiLog! is a powerful standalone blogging tool that allows you to update a mobile weblog ("moblog") remotely using any email-capable device, such as a cellular phone. You can even send images from your camera phone and have them automatically posted to your Web site. Additional features include Atom syndication format support, automatic thumbnail creation, a browsable entry archive, password protection for entry submission, and much more. The appearance of MobiLog! can be customized easily.
mod_athena is an Apache-based application load balancer for large systems. It allows the HTTP server to act as a load balancer either internally to Apache's own mod_proxy (for reverse proxying), or externally to machines querying it. Arbitrary statistics are sent to the engine via a simple GET plus query-string interface, from which it will then make decisions based on chosen algorithms.