erlang-versions-badge

There are 2 repositories under erlang-versions-badge topic.

proper-testing/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Language:Erlang899 35 118168
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language:Erlang338 15 13943