GitHub repository: xiaohe27/rvm-parser
Primary language: Java
Description: Parsing RVM and MOP specifications using K framework