proof verifier for mathematical proofs and documentation generator
Image Stack Analyzer
Fast and simple calculator.
A program to solve dispersion equation in water waves mechanics
Java API and tools for performing NLP and other AI tasks
Open Source Data Evaluation Software
Graph Processing Framework for Medical Information
C# BMI Calculator with wizzard.
A system for agent-based modelling in political psychology
Simple Queue Simulator
A science API for Java
clustering, machine learning, algorithms
Image Processing Ridge Tracker
VOpR - a virtual optical rail
Die BOS-Ontologie ist eine formale Ontologie der BOS-Domäne.
Alignments in Rotating Cylinder / 3D