maude-lang / MaudeLinks

Language based on Rewriting Logic
131Updated 3 weeks ago

Alternatives and similar repositories for Maude

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

Sorting: