Packages

Elixir bindings for the Maude formal verification system.

Current section

6 Dependencies

Jump to

Dependencies of ex_maude

6 dependencies
Package Requirement
elixir_make
~> 0.8
jason
~> 1.4
nimble_parsec
~> 1.4
poolboy
~> 1.5
rustler
~> 0.34 optional
telemetry
~> 1.2

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 5 10 15 20

this version

37

yesterday

3

last 7 days

16

all time

109

Last Updated

Apr 03, 2026

License

MIT

Build Tools

mix

Publisher

bohwalli bohwalli

Owners