A test repository for Krembo