proper-testing's tracked open-source repos, sorted by stars.
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
