All languages

Maude

Homepage: https://github.com/SRI-CSL/Maude

TODO: Write the wiki article for Maude.