This is the RAR archiver from Eugene Roshal. It supports multiple volume archives and damage protection. It can also create SFX-archives. There are versions which run on DOS, Windows, FreeBSD, BSDI.

foxtrotGPS is a map and GPS application. By default, it uses maps from OpenStreetMap. The available features include downloading and displaying tiled maps, recording GPS tracks, automatic map centering, storing points of interest, geocoding photos, setting waypoints, monitoring heartrate via Bluetooth, planning travel routes and finding travel routes using external services on the Internet based on OpenStreetMap.

Qjackctl offers a user interface for controlling the JACK sound server daemon. At the same time it figures as a JACK patch bay and monitoring tool.

This program displays system log files in a friendly way and allows one to filter or search expressions in them.

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.

The following puzzles are included: