MLton is a whole-program optimizing Standard ML compiler. It generates standalone executables with excellent runtime performance, supports the full SML 97 language, and has a complete basis library. It also has a fast C FFI, source-level time and allocation profiling, and many useful libraries.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
ZThread is an advanced object-oriented threading and synchronization library, implemented in C++ for POSIX, MacOS, and Win32 systems. It provides an excellent and powerful abstraction from native threads. It includes interruptible thread objects and several other synchronization control objects.
cfv is a utility to both test and create .sfv (Simple File Verify), .csv, .crc, .md5(sfv style), md5sum, BSD md5, sha1sum, and .torrent checksum verification files. It also includes test-only support for .par and .par2 files. These files are commonly used to ensure the correct retrieval or storage of data.
konspire is a searchable, distributed file-sharing system featuring resumable file transfers and fast, exhaustive substring searches of all hosted file names on the network. konspire is written using pure Java. Load from processing search requests is distributed throughout a dynamically connected network of servers. Several fault-tolerant features ensure system correctness and reliability.
VLC media player is a multimedia player, framework, streamer, and encoder. It can play inputs like files, network streams, DVDs, audio CDs, Blu-Rays, capture devices, and screens. It can play most audio and video codecs and formats (MPEG 1/2/4, H264, VC-1, DivX, WMV, Vorbis, AC3, AAC, MKV, etc.), but can also be used to convert to different formats and/or send streams through the network.
Webplay creates, from a collection of MP3s and Ogg Vorbis files (indexed from a directory or MySQL/PostgreSQL database), a Web-based jukebox with support for multiple independent streams. If Lame/oggenc are available, it can change the bitrate or codec of a file in real time to a selectable value. Each user controls their stream via a Web interface and can skip back, forward, or to a specific track; increment or decrement the bitrate; and check the current playlist, song, or bitrate. Playlists can be looped, randomized, played locally on the webserver, edited, deleted, reused, or renamed.