Free triple a software for mac

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

Steal a Sig is the ultimate signature utility. Creates sigs, imports them, exports them, does a whole lot more.

Steal a Sig is an AppleScript for Microsoft Entourage that will allow the quick and easy creation of signatures to be added to your Signatures file.

It will take text from various sources, and compile it into a form understood by Entourage and will insert it into the signatures file.
• If you select text from within a message, it will use that selection.
• If no text is selected, but there is text on the clipboard, it will use the clipboard text.
• If no text is selected and there is no text on the clipboard, it will present you with an empty dialog box so you can compose your own signature line.
In addition, various commands can be carried out by the script. All these commands are triggered by selecting a single word before running the script. type the command word in a new Entourage message window, select it and run the script. Commands available are:
• Separator - This will allow you to define the separator to use when creating all future signatures. The default is "-- " (dash, dash, space)
• Random - This defines whether all future sigs will be included in the Random sigs list. Options are yes, No, and Ask each time.
• Default - Allows you to define some default text that will be added to each created signature. You can declare whether you want this default text (your name, for instance) to appear above or below the signature.
• Export - Exports all your signatures to a text file.
• Import - Imports signatures from a text file in the format created by export.
• Clear - Will delete ALL your current signatures. Make sure youve exported them before running this command!
• Help - Displays a message window with a description of these commands in the body.

Without a Paddle Screensaver is an impressive and unique screensaver which will catch your attention immediately.

Three young guys go into the Oregon wilderness in search of lost treasure. They take a canoe upriver and everything that can go wrong does go wrong. Hunted by two backwoods farmers, they encounter death-defying rapids, tree-hugging hippie chicks and a crazy old mountain man played by Burt Reynolds.

Five of a Kind - Popular dice game where the player scores dice rolls in various categories that match Poker hands.
Main features:
- Single player game
- Sounds for rolling dice
- Sounds for achieving bonus
- Animated dice
- High Score saved.
Enhancements:
- Some minor bug fixes and cosmetic fixes
- Registration removed - now Freeware
- Application now packaged.