Python2.7.3 for android
ntccKMC: A Kripke-structure-based model checker for ntcc
The educational lattice Boltzmann code
3D Stabilization software for intravital imaging of mouse organs
black_rhino is a multi-agent simulator for financial network analysis
Superconducting QUantum Interference Devices (SQUIDs) control software
Structural analysis for Google Sketchup
A sequence analysis tool for normal/tumor DNA and RNA data.
An automatic spike detection program to be used with new KlustaKwik
PyParticles is an opensource particles simulation tool box entirely wr
C++ Airline Travel Solution Provider
Simulation software for brain modelling