Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

Lm-sensors is a hardware health monitoring package for Linux. It allows you to access information from temperature, voltage, and fan speed sensors. It works with most newer systems.

The following puzzles are included:

Bambam is a simple baby keyboard masher application that locks the keyboard and mouse and instead displays bright colors, pictures, and sounds.

Mobile phone manager using Gammu as its backend.

Pan is a newsreader, loosely based on Agent and Gravity, which attempts to be pleasant to use for new and advanced users alike. It has all the typical features found in newsreaders and also supports offline newsreading, sophisticated filtering, multiple connections, and a number of extra features for power users and alt.binaries fans.