GitHub repository: ratioSolver/RiDDLe
Primary language: C++
Description: Rational Domain Definition Language (RiDDLe)