Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
55,140 visible repositories in the index
1–5 of 5 · Most stars
Erlang port driver for interacting with syslog via syslog(3)
A generic interface to different metrics systems in Erlang.
♾️ ACTIVE: Filesystem Activities
- mix
- mad
distributed system stress and load testing tool