The Roc5 repository