TuringSim
C++ framework to simulate abstract computing models
PDM Directory Reference