proof verifier for mathematical proofs and documentation generator
Fast and simple calculator.
A system for agent-based modelling in political psychology
Simple Queue Simulator
VOpR - a virtual optical rail
Alignments in Rotating Cylinder / 3D
Java Domotic Over Ethernet
Secondary Structure Analysis Tool for data selection and statistics
Hand Written Equation Creator
Learn the articles of German words.
Measures analog DC signals with the PC soundcard.
Software Tool for Processing and Analysis of Propagating Channel Measu
A drawer for origami crease pattern
Copy number variation (CNV) detection in exome sequencing data