Isabelle
languages / Isabelle597Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | seL4 | 2 | 578 |
2 | ![]() | jepsen-io | 1 | 555 |
3 | ![]() | pirapira | 3 | 236 |
4 | ![]() | elastic | 1 | 201 |
5 | ![]() | input-output-hk | 7 | 179 |
6 | ![]() | au-ts | 1 | 156 |
7 | ![]() | diekmann | 5 | 100 |
8 | ![]() | isabelle-prover | 14 | 65 |
9 | ![]() | TartanLlama | 1 | 63 |
10 | ![]() | data61 | 1 | 56 |