Open source projects currently maintained by DemonSoft are available here.
Imaging and simulation for neuroscience
These projects enable more efficient fluorescence microscopy imaging analysis, along with simulation tools for synaptic vesicle recycling.
Spatial Kappa
This project contains an implementation of a syntactic extension of Kappa to allow expression of location and transport in models. The simulator was used by the 2010 Edinburgh iGEM team to run the computational models of the project.