gpgkeymgr is a tool for cleaning up and managing your GnuPGP key ring. It removes old and unnecessary keys according to user-specified criteria. For example, you can remove all expired or revoked keys, or all keys you don't trust, and much more.
A static analysis automation framework.
A Java SQL database engine.