A collection of tools used in the enumeration of solution spaces
A Calculator to perform logical operations
Oasis Genomics cancer omics integration portal
Variant detection in next-generation sequencing data
jAgg - Java Aggregation Operations
Converting IBM SPSS files to CDISC ODM
Human protein similarity network used to predict drug safety.
Performance Testing Tool For Thread Pool Systems
sparse and dense matrix, linear algebra, visualization, big data
Safecap Platform for improving railway capacity via formal modelling
A framework for prototyping and testing P2P live streaming algorithms
Virtual Microdissection for SNP calling