maude

maude 3.5.1 · pkgs/by-name/ma/maude/package.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

3.5.1 no newer release known to repology

Channels

master 3.5.1 · nixos-unstable 3.5.1 · nixos-26.05 3.5.1 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

High-level specification language

Long description

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

https://maude.cs.illinois.edu/

License

GPL-2.0-or-later

Platforms

45 platforms: Linux, Darwin

Main program

maude

Source provenance

not set: built from source

Outputs

out