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.
Anna's Quest is a classic point & click adventure game.
Cosmo Run is an exciting arcade game designed for Mac.
It lets you experience the classic game Munch’s Oddysee in high definition.
The game is a dangerous quest through mysterious ruins and magical woods.
GalaxyFighters is a classic intergalactic space battle game.
Pacapong is an easy to play arcade adventure game for Mac computer.
Comments