A repository to be used in the course