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.

dmraid discovers, activates, deactivates and displays properties of software RAID sets (eg, ATARAID) and contained DOS partitions.

Calligra Active is a project to bring Calligra to the Plasma Active Desktop, designed for tablets, smartphones, and touching devices.