maude

Language bindings for Maude

Unified Maude model-checking tool

Interactive Maude

Maude to Lean translator

An Atom package for The Maude System

Model checker for Maude systems controlled by strategies

The C infrastructure for the IOP system

A Haskell EDSL for conducting threat analysis using Attack Trees

Maude language subset

LTL model checking of Core-Erlang using term rewriting techniques.

A toy language based on rewriting using code from Baader and Nipkow.

MAUDEMetrics: Open-source no-code desktop app (macOS, Windows) and Docker service for automated extraction and standardization of FDA MAUDE medical device adverse event data via the openFDA API. Bypasses the 26,000-record limit and produces reproducible, analysis-ready datasets — no programming required.

Maude integration and verification for ROS Nav 2

Maude specification of a Patient Controlled Analgesia (PCA) open system

Pygments lexers for Maude, both batch and interactive.

Graphical interface and graph generator for the Maude strategy model checker

The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of …

Command-line interface to search MAUDE database for medical device adverse events via openFDA API

ExMaude provides a high-level Elixir API for interacting with Maude, a powerful formal specification language based on rewriting logic.

Independent implementation of the pattern matching algorithms in Maude.