Open Source Traffic Control Software
Complete ROV Control Suite
A simulation software for numerical techniques.
Unix-based preparation and analysis toolbox for molecular simulations
cnvHiTSeq is a set of tools for detecting CNVs using sequencing data.
GEPETTO (GEne Prioritization ExTended TOol)
ntccKMC: A Kripke-structure-based model checker for ntcc
A standard test set for evaluating traffic control technologies