Gael is an electronic design automation tool integrated into GNOME 2. It is designed to be easy to use, and to include advanced features. The design is very modular and open, using the GNOME component model (bonobo).
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).