Stats
Updated daily
code_style
v0.2.0
Shared deterministic Elixir code-quality policy and Credo checks.
843
Total
6
Yesterday
16
Last 7 days
apalachex
v0.2.0
Safe, deterministic Apalache execution and artifact management for Elixir.
520
Total
4
Yesterday
16
Last 7 days
itf
v0.1.0
An Elixir library for decoding and inspecting Apalache ITF traces.
267
Total
2
Yesterday
6
Last 7 days
ecto_isolator
v0.2.0
Prevent non-atomic side effects while inside Ecto transactions.
229
Total
4
Yesterday
8
Last 7 days
victoria
v0.2.0
Formal-model-driven conformance testing for Elixir implementations using TLA+...
165
Total
4
Yesterday
6
Last 7 days
n_one
v0.1.0
Detect repeated Ecto query fingerprints inside logical operation boundaries.
131
Total
2
Yesterday
5
Last 7 days