GitHub repository: maude-lang/Maude
Primary language: C++
Description: Language based on Rewriting Logic