Divifund is a personal finance program written for
the GNOME desktop. It allows you to create
budgets with scheduled transactions to keep track
of your personal finances. Its goal is to do this
as easily as possible.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).