EditRocket is a text and source code editor with
support for over 20 programming languages. It
provides features and tools to help developers
edit, create, navigate, and debug source code and search and manipulate text.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).