Top Promela developers globally
languages / Promela / global252 developers
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | Vendicated | 1 | 53 | |
2 | RFCNLP | 2 | 51 | |
3 | pSpaces | 1 | 44 | |
4 | nicolasdilley | 2 | 38 | |
5 | wolberlab | 1 | 28 | |
6 | naokob | 1 | 8 | |
7 | ribokit | 1 | 7 | |
8 | pd95 | 1 | 6 | |
9 | CGCL-codes | 1 | 5 | |
10 | tajmone | 1 | 4 |