realistic truck & car simulator, with OpenGL graphics
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
Microemulsion Decision Support System
Isotopic pattern calculator in python 2.x
This is a lightweight java dynamic component framework
RS485 library for C# and Python
Analysis of pyrograms form multiplex pyrosequencing experiments