Gtk2Hack is a nice graphical frontend for the
popular rogue-like role playing game nethack using
the modern GTK 2 toolkit. It aims to provide an
improved visual interface while maintaining
complete keyboard controllability.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).