GitHub repository: tronxi/language
Primary language: Python
Description: Formal executable specification of an imperative language with maude