OStatic

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, wi...

M.A.I.A. Multiple Access Input Assistant. Free Virtual Keyboard Engine for disabled people. An Open Source project totally written in C++ with support...

Convince Me is a Java application for generating and analyzing arguments. Convince Me uses a connectionist model, called ECHO, to provide feedback on ...

An Evolution Simulator of Single Cells in a Pond. This shows a crosssection of water with sun shining from above. A single cell is dropped in and has...

Yacca is an advanced chat bot (other plugins are under development, including a command-line only version for you to interact with yacca) that is desi...

A flexible Japanese to English language translation engine that allows multiple results be displayed according to all possible grammar ratings, i.e. a...

Net.py is a tool for learning about neural nets. Currently, it only allows the user to experiment with a Hopfield net. I am now extending it to cover ...

Pattern recognition software package. It includes several classification and clustering algorithms. It can read data from a set of images, an ASCII fi...

This is an Automated Essay Grader such as the ones used in exams like GRE, GMAT and TOEFL. It grades essays based on relevance to the essay prompt, se...

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard P...