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 lightweight mail client for the DeforaOS desktop.
A rule-based expert system for manufacturing source code.