Free 3 main software for pda

Minibar is a free bartending application designed for Palm handhelds and licensed under the GPL. Its database now includes over 450 mixed drinks, spanning a wide range of recipes.
Included in Minibars drink list are a variety of cocktails, cordials, shots, and tropical drinks. Each drink recipe details the ingredients and glassware required, as well as the garnishes used to prepare the drink. Drink recipes also include a short set of instructions describing how the drink is prepared.
Some of Minibars main features include advanced filtering options, a random drink search, and a modifiable database system that allows for easy customization of the drink entries.
Enhancements:
- Decreased access time to drink recipes
- Made it easier to add/delete/modify recipes
- Recipes can be imported/exported to/from MemoPad
- Tungsten T3 (large screen) support
- More changes

ToDo Manager allows users to manage and schedule your personal to-do list. You can add, edit and delete notes. Manage prioritise and deadline with alarm.
Preferences:
Enables to view all to-do notes ordered by subject, deadline or prioritise.
Complete/Incomplete: Set to-do notes state to complete or not complete.
Main features:
- New: Enables to create a new to-do notes, specifying prioritise and deadline with alarm.
-
-
- View: View in summary selected to-do notes.
-
-
- Edit: Edit selected to-do notes detail.
-
-
- Delete: Delete selected to-do notes.
-
-
- Delete Completed: Delete all to-do notes completed.

McRazor, the buzz of the Palm OS community, turns your Palm OS device into an electric razor.

MicroSky is a planetarium for mobile/cell devices with Java-support and a connection to the Internet (preferably GPRS or UMTS). It is a very small J2ME-Midlet client/server application which retrieves its starcharts from the skyserver. It can display 2.500.000 stars, 8.000 deep sky objects, the constellations, the planets, local horizon, 1000 current comets, and minor planets. MicroSky provides lots of functions and settings for customizing the MicroSky-Charts to your individual needs.

Microsky v3 extends v2 with even more functions such as a more polished style, Bluetooth-GPS support and a offline mode that reduces the GPRS costs and enables MicroSky for outdoor regions without GPRS reception.

To use MicroSky on your mobile phone you will need a User and Password to login. You can register here: http://www.upto.org/skyserver/editRegistration.do?action=Create&callfrom=microsky

Whats new

New Branch with major new features for mobile devices which supports Midp 2.0

* GPS-Bluetooth connection:

- Receive your actual location data for MicroSky-Charts per connected internal or external GPS-Bluetooth device
- Comfortable GPS-Bluetooth-Device search in MicroSky

* MicroSky Offline Charts:

- Get and store up to two sets of MicroSky-Charts - calculated for special date and your location - in advance to your mobile device database
- Offline MicroSky-Charts contain Overview Chart and detailed Charts for Zenit, South, East, North,West and details about their 25 best visible objects
- The stored MicroSky-Charts can be explore later at any time, without the need of having at that time an online Internet-Connection
- You can always toggle to online mode and use the online functionality as known of MicroSky v2

* Search Object:

- Additional feature to search objects with search-text and get a list of results to choose an object to center

* Further improvements

- faster drawing
- toggle to fullscreen mode
- a nice running hour glass if MicroSky is busy with internet-request in MicroSky-Chart

PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).

Logic is widely used today. It forms the basis of mathematical proof methods. It is used in formal verification like symbolic model checking and equivalence checking of combinational and sequential circuits. Logic is also behind product configurators and the construction of remote controls and traffic light intersections. And logic is something we all use daily. For example, most of us readily accept the following reasoning: "If it rains, I get wet. It rains. Therefore I get wet." This is applied logic.

PawLogic lets you work and experiment with logic. If you are a student of logic, you get a valuable tool to aid you in your studies. If you are a professional working with logic, you get an always accessible logic program for you to use whether at the office, at home or on the move. And if you are just interested in the world of logic, here is your chance to get hands-on experience.