Top Isabelle developers globally
languages / Isabelle / global663 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | isabelle-prover | 14 | 74 |
| 12 |  | data61 | 1 | 62 |
| 13 |  | CTSRD-CHERI | 5 | 54 |
| 14 |  | jix | 1 | 40 |
| 15 |  | ethereum | 1 | 39 |
| 16 |  | bzhan | 5 | 38 |
| 17 |  | lammich | 4 | 27 |
| 18 |  | mmalvarez | 6 | 27 |
| 19 |  | nipkow | 1 | 26 |
| 20 |  | pandaman64 | 1 | 23 |