LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Elixir

ex_maude

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

ElixirEmergingc-nodeelixirerlangformal-methods

Stars

2

Forks

—

Contributors

1

Last push

7d ago

Recent commits

Latest commits.

test: eagerly load app modules to deflake module-contract assertions
f4fcfabfuthr7d ago
chore: release version v0.3.0
00c559ffuthr7d ago
chore(maude): annotate version/1 for sobelow
666b7dafuthr7d ago
fix(nif): keep building the NIF once a local artifact exists
51c1460futhr7d ago
docs: convert deterministic examples to executable doctests
5700654futhr7d ago

docs: align AGENTS.md backend descriptions with the implementation

35cd947futhr7d ago

ci: align publish environment with ci and audit deps before publishing

ea912a2futhr7d ago

chore(package)!: stop bundling GPL Maude binaries in the hex tarball

e78a33dfuthr7d ago

Top contributors

Builders behind this project.