GitHub repository: maude-team/maude
Primary language: C++
Description: This repository contains the Maude 2 interpreter source tree.