Python2.7.3 for android
ntccKMC: A Kripke-structure-based model checker for ntcc
The educational lattice Boltzmann code
This is a lightweight java dynamic component framework
An automatic spike detection program to be used with new KlustaKwik
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
C++ Airline Travel Solution Provider
Simulation software for brain modelling
PyParticles is an opensource particles simulation tool box entirely wr
Simulation of historical and contemporary launch vehicles