proof verifier for mathematical proofs and documentation generator
Open Source Data Evaluation Software
Image Stack Analyzer
Fast and simple calculator.
A program to solve dispersion equation in water waves mechanics
Graph Processing Framework for Medical Information
Simple Queue Simulator
clustering, machine learning, algorithms
A science API for Java
User Friendly Data Analysis Tool for Interaction Data
VOpR - a virtual optical rail
Alignments in Rotating Cylinder / 3D
A system for agent-based modelling in political psychology
Generator for textual models by applying different techniques