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.
Get the Best Weather in a desktop widget with the AccuWeather Stratus.
Mach Weather is a free weather application for your Mac.
WeatherDock is a nice weather application for the Mac.
WeatherBug Lite helps you keep track of weather reports on your Mac.
Customize the look of your Mac and get weather forecasts.
Great FREE weather app with the following features: + hourly forecast for the next 24 hours, + daily forecast for the next 5 days.
Comments