Top Isabelle repos
languages / Isabelle / global1,042 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | elle | 613 | jepsen-io |
| 2 | sail | 540 | rems-project |
| 3 | l4v | 490 | seL4 |
| 4 | eth-isabelle | 233 | pirapira |
| 5 | elasticsearch-formal-models | 205 | elastic |
| 6 | marlowe | 171 | input-output-hk |
| 7 | cogent | 157 | au-ts |
| 8 | isabelle | 116 | seL4 |
| 9 | Iptables_Semantics | 94 | diekmann |
| 10 | non-binary | 78 | TartanLlama |