Top Isabelle repos
languages / Isabelle / global1,114 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | elle | 640 | jepsen-io |
| 2 | sail | 611 | rems-project |
| 3 | l4v | 511 | seL4 |
| 4 | eth-isabelle | 237 | pirapira |
| 5 | elasticsearch-formal-models | 206 | elastic |
| 6 | marlowe | 172 | input-output-hk |
| 7 | cogent | 158 | au-ts |
| 8 | isabelle | 114 | seL4 |
| 9 | Iptables_Semantics | 96 | diekmann |
| 10 | non-binary | 81 | TartanLlama |