maude-lang / Maude

Language based on Rewriting Logic
86Updated last week

Related projects

Alternatives and complementary repositories for Maude