Top Isabelle developers globally
languages / Isabelle / global664 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | rems-project | 3 | 614 |
| 2 |  | jepsen-io | 1 | 613 |
| 3 |  | seL4 | 2 | 606 |
| 4 |  | pirapira | 3 | 241 |
| 5 |  | elastic | 1 | 205 |
| 6 |  | input-output-hk | 7 | 184 |
| 7 |  | au-ts | 1 | 157 |
| 8 |  | diekmann | 5 | 103 |
| 9 |  | TartanLlama | 1 | 78 |
| 10 |  | isabelle-utp | 16 | 76 |