proof verifier for mathematical proofs and documentation generator
Generator for textual models by applying different techniques
Fast and simple calculator.
Image Stack Analyzer
Open Source Data Evaluation Software
A program to solve dispersion equation in water waves mechanics
A science API for Java
clustering, machine learning, algorithms
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
Java API and tools for performing NLP and other AI tasks
Text analyzer
A minimalist cross-platform transcription software