maude-lang / MaudeLinks

Language based on Rewriting Logic
125Updated last week

Alternatives and similar repositories for Maude

Users that are interested in Maude are comparing it to the libraries listed below

Sorting: