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.

Powerstat measures the power consumption of a mobile PC that has a battery power source. The output is like vmstat but also shows power consumption statistics. At the end of a run, powerstat will calculate the average, standard deviation and min/max of the gathered data.

CannonSmash is a funny 3D table tennis game. It takes a while to get your hand at ease with the mouse+keyboard manipulations. But once you're used to the technique, you can feel like playing a real game. It is playable against the computer or through a network.