This is a repository of models of interactive computing systems. The previous version of the repository can be found at http://www.di.uminho.pt/research/hcispecs. Models will be migrated to this new version.