proof verifier for mathematical proofs and documentation generator
Lucene Oracle Integration using Data Cartridge API
Fast and simple calculator.
A system for agent-based modelling in political psychology
VOpR - a virtual optical rail
Alignments in Rotating Cylinder / 3D
Open Source Data Evaluation Software
clustering, machine learning, algorithms
Generator for textual models by applying different techniques
Secondary Structure Analysis Tool for data selection and statistics
A minimalist cross-platform transcription software
Measures analog DC signals with the PC soundcard.
A drawer for origami crease pattern