maude
High-level specification language for equational and logic programming
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.
homepage ↗ github: maude-lang/Maude
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 3.5.1 | 5 | 14 h | details › |
Versions & arches
| Version | Overlay | amd64 | x86 | ppc | Committed | |
|---|---|---|---|---|---|---|
| 3.5.1 | gentoo | amd64 testing | x86 testing | ppc testing | — | view · download · history ↗ |
| 3.4 | gentoo | amd64 testing | x86 testing | ppc testing | — | view · download · history ↗ |
| 3.3.1 | gentoo | amd64 testing | x86 testing | ppc testing | — | view · download · history ↗ |
| 3.2.2 | gentoo | amd64 testing | x86 testing | ppc testing | — | view · download · history ↗ |
| 3.1-r1 | gentoo | amd64 testing | x86 testing | ppc testing | — | view · download · history ↗ |
Use flags of 3.5.1
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- examples Install examples, usually source code