Packages
code_style
0.2.0
843+
Shared deterministic Elixir code-quality policy and Credo checks.
Last Updated:
1 week ago
apalachex
0.2.0
520+
Safe, deterministic Apalache execution and artifact management for Elixir.
Last Updated:
2 months ago
itf
0.1.0
267+
An Elixir library for decoding and inspecting Apalache ITF traces.
Last Updated:
2 months ago
ecto_isolator
0.2.0
229+
Prevent non-atomic side effects while inside Ecto transactions.
Last Updated:
3 months ago
victoria
0.2.0
165+
Formal-model-driven conformance testing for Elixir implementations using TLA+ traces generated by Apalache.
Last Updated:
2 months ago
n_one
0.1.0
131+
Detect repeated Ecto query fingerprints inside logical operation boundaries.
Last Updated:
3 months ago