Cool software! My first look made me a bit helpless but as deeper I dig into it I find more and more functionality and possibilities. Looks like it is a good tool for my (private) home automation project
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).