PatchEditor is a simple, easy-to-use patch editor
application for "visually editing" large patch
files. Different patches/diffs/folders/files can
be selected/deselected, and the resulting patch
file can be saved and later run against a source
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).