A tool for automating laser ablations for neuroscience
An accessible calculator designed for Microsoft Windows Systems.
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
The GIIAF Microscopy Library, that uses customised OMERO software
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