ExMaude. Check if your system rules actually work the way you think they do.

hexdocs.pm/ex_maude
by @futhr

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

June 2026
  • test: eagerly load app modules to deflake module-contract assertions
  • Release —v0.3.0
  • chore: release version v0.3.0
  • docs: convert deterministic examples to executable doctests
  • chore(maude): annotate version/1 for sobelow
  • fix(nif): keep building the NIF once a local artifact exists
  • docs: align AGENTS.md backend descriptions with the implementation
  • ci: align publish environment with ci and audit deps before publishing
  • chore(package)!: stop bundling GPL Maude binaries in the hex tarball
  • docs: add cheatsheet, module groups, and ship notebooks in the package
  • docs: correct backend architecture claims and README links
  • feat: add parse, show_module and list_modules to the ExMaude facade
  • feat(maude): detect the real Maude version
  • fix(pool): make broadcast survive slow workers and always return them
  • fix(iot): surface encoding and infrastructure bugs from verify functions
  • fix(iot): escape quotes and backslashes when encoding strings
  • fix(parser): accept kind-level sorts in result lines
  • fix(cnode): correlate bridge replies with refs and restart on failure
  • fix(nif): restart worker after native timeout, eof, or io error
  • feat(port)!: default to plain pipes with -interactive, PTY opt-in
  • fix(port): stop poisoned workers on timeout and fail fast at startup
May 2026
  • Release —v0.2.0
April 2026
  • Release —v0.1.1
  • Release —v0.1.0