repository of the rsybl prototype