Topic: "erlang-versions-badge"
proper-testing/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Language: Erlang - Size: 3.74 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 896 - Forks: 169
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 338 - Forks: 43
Related Topics