Boat Scenario is a sailing drawing tool. It can be used for training sessions, rule learning, strategy explanations, and more. It lets you make a presentation of a situation, describing the facts as you represent the action.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).