A pipeline for quantitative proteomics based upon isobaric tags
JBernstein: Exploration techniques for non-linear constraint checking
Software tool for Research in Computational Population Genetics
An HDL alternative to PCB graphical schematic capture tools.
Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
proof verifier for mathematical proofs and documentation generator
Common accessible environment for system dynamics simulation.
Open Source Data Evaluation Software
Software tool for designing spatial bar structures
A minimalist cross-platform transcription software
Hand Written Equation Creator
Measures analog DC signals with the PC soundcard.
A drawer for origami crease pattern