Simple test repository to use at the omegasoft lecture