Hotwayd is a POP3/SMTP to HTTPMail (WebDAV) gateway. HTTPMail is a somewhat undocumented WebDAV-based protocol used by a variety of mail servers including Hotmail, MSN, Lycos, and Spray. Hotwayd allows you to use any standard POP3/SMTP mail reader to send and receive mail via these servers, similar to the way that Outlook Express can access a hotmail account. It supports features such as folder selection to get folders other than the inbox and proxy server support (if you require a proxy to access the internet).
libencio is a library providing a stdio-like interface for reading and writing of encrypted files (in MCrypt format only for now). Additionally, it provides full support for fseek()-like random read access of encrypted data. This allows one to operate on encrypted files as if they were ordinary, cleartext files. It could be used to provide MUAs with a layer to transparently handle encrypted attachments, as a backend to ffmpeg or mplayer to directly play encrypted files, or in combination with tar for encrypted backups. It uses libmcrypt and libmhash for encryption and hashing algorithms.
BlogMatrix Sparks! is a streaming Internet radio program recorder and podcast receiver. Downloaded programs are converted (via Mplayer and LAME) into MP3s and stored in your media player (iTunes or Windows Media Player). It uses an interactive directory of thousands of radio stations and podcasts to help you find content. It runs on Windows, Macintosh OS 10.3, and Linux.
AMLET is software designed to estimate multinomial and mixed logit discrete choices models, which are increasingly popular in econometry. The software supports cross- sectional and panel data, and offers various optimization methods, including the new variable sample-size approach.
Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industrial-strength for immediate utility in finding bugs, extensible for ease in adding backends, and composable for ease in combining existing ones. It computes expression-level and type-level data flow, and statement-level intra-procedural control flow (by delegating to Elsa). It's easy to get started by using the two demo backends that print graphs of these flows. It also comes with a client of the data flow analysis that does type qualifier inference: Cqual++, a C/C++ frontend for Cqual. Whole-program analyses may be attempted using the linker imitator.