ntccKMC: A Kripke-structure-based model checker for ntcc
Compiled version of FFTW 3.3.3 for MAC 10.8
invert matrices with the Gauss–Jordan elimination
HadStat is service on cloud,for data analysis using Hadoop MapReduce.
A standard test set for evaluating traffic control technologies
High Performance, Lock Free Java Actors
Lapack/quadprog QP for VBA/.Net/Java
Isotopic pattern calculator in python 2.x
This is a lightweight java dynamic component framework
Analysis of pyrograms form multiplex pyrosequencing experiments
Virtual Sound Level Meter for analyzing calibrated sound files