Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Use an unofficial Inbox by Gmail client for desktop platforms.
Enables you to read "winmail.dat" attachment files.
Alternative solution to manual encryption or PSE keys.
A complete replacement for Microsoft Outlook that makes you a better manager.
Advanced bayesian spam filter with a simple, easy to understand interface.
Utility integrated with Apple's Mail application and SpamCop.net.
Comments