Packages

Safe, deterministic Apalache execution and artifact management for Elixir.

Current section

1 Dependant

Jump to

Packages depending on apalachex

1 package
  • victoria v0.2.0 requires ~> 0.1.0

    Formal-model-driven conformance testing for Elixir implementations using TLA+ traces generated by Apalache.

    Updated 1 week ago

    90
    recent downloads
1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 10 20 30 40

this version

24

yesterday

7

last 7 days

54

all time

238

Last Updated

Aug 18, 2026

License

MIT

Build Tools

mix

Publisher

kokjinsam kokjinsam

Links