xtermset is a command line utility to change several characteristics of an xterm. These are things like title, foreground color, background color, geometry and position. Furthermore the xterm can be iconified, restored to normal size, or refreshed.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).