GitHub repository: nimily/roful
Primary language: Python
Description: Implementation of various instances of ROFUL.