Component, CA, and CCA models; superdense time, DB repo, testing, etc.
PySCeS Constraint Based Modelling
NeuralSyns is a neural simulator for large spiking networks.
An ICN Simulator based on the Blackadder paltform.
OMNET++ implementation of framework for opportunistic protocols.
Labcoat; the VHDL graphic emulator.