proof verifier for mathematical proofs and documentation generator
A program to solve dispersion equation in water waves mechanics
VOpR - a virtual optical rail
Classify any two TXT documents, no training required - JAVA
mojo provides fast analyzes for your business processes
Glycosylation Network Analysis Toolbox (GNAT)
Copy number variation (CNV) detection in exome sequencing data
A drawer for origami crease pattern
Qualitative Comparative Analysis with Fuzzy Data in JAVA
Convert drl files to g code
AutoFlight is a powerful, open source AR.Drone control program.
Solver for Math Text Problems
Screenograma is an interface automation tool with feedback.
OMR Sheets Data Retrieval Software
Asterix UDP multicast recorder
A JAVA GUI for performing the function of Tophat and Cuffdiff
jHepWork was a name of the DataMelt program in 2005-20013
A library that allows programs for a NI CRIO to be run on a computer.