Maude system
implementation of rewriting logic developed at SRI International
Operating systems: Linux
Wikidata: Q3558930
Programming paradigms: logic programming • metaprogramming • reflective programming
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2024-04-18