maude-lang / Maude

Language based on Rewriting Logic
89Updated last week

Related projects

Alternatives and complementary repositories for Maude