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
An automatic spike detection program to be used with new KlustaKwik
C++ Airline Travel Solution Provider
PyParticles is an opensource particles simulation tool box entirely wr
C++ lib, that provides access to multiple ROOT routines (root.cern.ch)
A library to compute the electron and chemical kinetics on plasmas