Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
47,133 repositories indexed
1–6 of 6 · Most stars
Concuerror is a stateless model checking tool for Erlang programs.
A top-like tool for monitoring an Erlang node
Parallel worker and capacity limiting library for Erlang
JSON parser and genarator in Elixir.
BEAM friendly spinlocks for Elixir/Erlang
Distributed Fault Tolerant Queue library