Top Isabelle developers globally
languages / Isabelle / global661 developers
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | jepsen-io | 1 | 608 | |
2 | seL4 | 2 | 604 | |
3 | rems-project | 3 | 590 | |
4 | pirapira | 3 | 241 | |
5 | elastic | 1 | 203 | |
6 | input-output-hk | 7 | 183 | |
7 | au-ts | 1 | 156 | |
8 | diekmann | 5 | 103 | |
9 | TartanLlama | 1 | 77 | |
10 | isabelle-utp | 16 | 76 |