GitHub repository: larstvei/homebrew-maude
Primary language: Ruby
Description: A brew formula for The Maude System