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.
This program offers you medical information and human body illustrations.
MacUpdater keeps all apps up-to-date automatically, so you don't have to search, download, install and clean up updates manually.
App that stores/retrieves notes, providing a nonconformist solution to mental blockages & retrieval handicaps.
FileZilla (ported from Windows) is a fast and reliable FTP client and server with lots of useful features and an intuitive interface.
Detect and download updates for all of your installed software.
We don't have a description for the AntiNetCut app yet.
Manage processes and tasks on a schedule.
Comments