erlang-versions-badge topic
List
erlang-versions-badge repositories
Concuerror
329
Stars
42
Forks
Watchers
Concuerror is a stateless model checking tool for Erlang programs.
proper
888
Stars
169
Forks
Watchers
PropEr: a QuickCheck-inspired property-based testing tool for Erlang