Top Isabelle repos
languages / Isabelle / global1,035 repos
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | elle | 608 | jepsen-io | |
2 | sail | 516 | rems-project | |
3 | l4v | 488 | seL4 | |
4 | eth-isabelle | 233 | pirapira | |
5 | elasticsearch-formal-models | 203 | elastic | |
6 | marlowe | 170 | input-output-hk | |
7 | cogent | 155 | au-ts | |
8 | isabelle | 116 | seL4 | |
9 | Iptables_Semantics | 94 | diekmann | |
10 | non-binary | 77 | TartanLlama |