GitHub repository: starcharles/homebrew-maude
Description: A brew formula for The Maude System