a repository for the course in summer 2013