- Cellstar: Segmentation & tracking software for round cells identification in
the brightfield microscopy images. See
- Peptide : Optimization of reaction networks based on abstraction
- React(C): an implementation of React(C). Since January 29, 2013. Implemented by Mathias John.
- James-Imp-Pi: an implementation of the imperative pi-calculus. Since September 28, 2009. Implemented by Mathias John and our callaborator Stefan Rybacky from Rostock University.
- SpiCO: The Stochastic pi-Calculus for Concurrent Objects. Implementation in Mozart-Oz. Since 27th of August 2007.