brozek/maude

Description

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

Installation Instructions

This build is a WIP

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release	Architectures	Repo Download
Fedora 40	x86_64 (20)*	Fedora 40 (16 downloads)

* Total number of downloaded packages.