BibTexGui is an editor for BibTeX files. It helps
by providing lists of available entries and their required and optional elements. It also removes the need to think about braces and brackets.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).