Maude is a high-performance reflective language and system supporting both equational and rewriting...

Tokens:61,331
Snippets:534
Trust Score:6.4
License:GPL-2.0
Update:5 months ago
Tokens:
Raw