Harold is a set of developer tools to make programming with Maude easier
| Subproject | Releases | Build status |
|---|---|---|
| harold-mcp | PyPI releases |  |
This repository is based on ideas and prototypes developed by Enguérand Dampierre, Adrián Riesco Rodríguez, Juan Rodríguez Hortalá, and Rubén Rubio.