1.p-org / PThe P programming language.asynchronousprogramming-languagesystematic-testingevent-drivenpdistributed-systems+4 moreC#MIT3.7K total225 forks+23 starsfrom 3,702 · score 3.18
2.parapluu / ConcuerrorConcuerror is a stateless model checking tool for Erlang programs.concuerrorerlangsystematic-testingtestingtoolautomatic+13 moreErlangBSD-2-CLAUSE351 total43 forks+1 starsfrom 350 · score 0.69