options is a Java toolkit for parsing command line
options. It focuses on ease-of-use. It uses
annotations to declare valid options and takes
care not to intrude on your class structure. It
adheres to the GNU getopt style of options.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).