Packages

ex_maude

v0.1.1

Elixir bindings for the Maude formal verification system.

Dependencies of ex_maude

7 dependencies
Package Requirement Status
elixir_make ~> 0.8
jason ~> 1.4
nimble_parsec ~> 1.4
poolboy ~> 1.5
rustler ~> 0.37 optional
rustler_precompiled ~> 0.8
telemetry ~> 1.2

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.1
0 20 40 60 80

this version

21

yesterday

0

last 7 days

4

all time

45

Last Updated

Apr 07, 2026

License

MIT

Build Tools

mix

Publisher

bohwalli bohwalli

Owners