Search Results for "logic"

Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode....

...glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. Also glint can tell you in regexp style which event sequences your FSM can handle and which are forbidden for it.

Climax is a Java command line argument parser framework that allows you to create and customize your own command line interface. The command line help and version information can be customized using built-in Apache-Ant-like properties.

....: Any component in any J2EE functional chain can access to DTO if they know the key key_i.key_ij.key_ijk.... for object access. This project helps to decouple the data, business logic and persistence logic allowing portability between different frameworks gently.

The "JTAG-GDB server" is a program for integrating the ARM-Embedded ICE logic with the GNU-Debugger GDB.

JApprDB is a database engine able to store knowledge by means of semantic networks, representing semantic relations between the concepts. Databases are supposed to be queried by Lojban - a syntactically unambiguous language based on predicate logic.

WordBreaker is a fun iPhone game where you attempt to guess the computer's secret word before the computer guesses yours, using logic and deduction. The game is based on Jotto and similar to MasterMind.

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.