proof verifier for mathematical proofs and documentation generator
No more support for this project - TAKE A LOOK AT FALCONSEARCH
Fast and simple calculator.
Simple Queue Simulator
A system for agent-based modelling in political psychology
VOpR - a virtual optical rail
Alignments in Rotating Cylinder / 3D
Generator for textual models by applying different techniques
Java Domotic Over Ethernet
Secondary Structure Analysis Tool for data selection and statistics
Java API and tools for performing NLP and other AI tasks
Hand Written Equation Creator
Learn the articles of German words.
Measures analog DC signals with the PC soundcard.