Isabelle
languages / Isabelle661Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | jepsen-io | 1 | 608 | |
2 | seL4 | 2 | 604 | |
3 | rems-project | 3 | 590 | |
4 | pirapira | 3 | 241 | |
5 | elastic | 1 | 204 | |
6 | input-output-hk | 7 | 183 | |
7 | au-ts | 1 | 156 | |
8 | diekmann | 5 | 103 | |
9 | TartanLlama | 1 | 77 | |
10 | isabelle-utp | 16 | 76 |
1,036Repos
Top ranked
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 | 204 | elastic | |
6 | marlowe | 170 | input-output-hk | |
7 | cogent | 156 | au-ts | |
8 | isabelle | 116 | seL4 | |
9 | Iptables_Semantics | 94 | diekmann | |
10 | non-binary | 77 | TartanLlama |