GitUrl provides a Tiny URL-like service. Given a
URL, it will produce a shorter URI which is easier
to remember, paste, or write down. It is a simple
CGI program that relies on a Web server, git, and
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).