The Linux Connection Manager project provides a daemon for managing Internet connections within embedded devices running the Linux operating system. The Connection Manager is designed to be slim and to use as few resources as possible. It is fully modular system that can be extended through plug-ins. The plug-in approach allows for easy adaption and modification for various use cases.

pv (Pipe Viewer) can be inserted into any normal pipeline between two processes to give a visual indication of how quickly data is passing through, how long it has taken, how near to completion it is, and an estimate of how long it will be until completion.

Clearlooks-Phénix is a GTK3 theme which is a port of Clearlooks, the default theme for GNOME 2. Files for GTK3 is a Clearlooks theme ported to GTK3 CSS language. Files for GTK2 come from the unmodified Clearlooks theme.

Cortina is a simple, lightweight, and fast-working wallpaper changer for the GNOME desktop. It can cycle through wallpapers at a specified interval, and works as a tray application with a configuration interface.

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.