GNU Typist (gtypist) is a universal typing tutor. It includes typing tutorials in several languages and for several keyboard layouts. GNU Typist is a direct descendant of the famous program "Typist".
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).