Dépôts open source suivis de proper-testing, triés par étoiles.
PropEr : un outil de test basé sur les propriétés pour Erlang, inspiré de QuickCheck.
