Isabelle
languages / Isabelle716Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | rems-project | 3 | 688 |
| 2 |  | jepsen-io | 1 | 639 |
| 3 |  | seL4 | 2 | 625 |
| 4 |  | pirapira | 3 | 245 |
| 5 |  | elastic | 1 | 206 |
| 6 |  | input-output-hk | 7 | 185 |
| 7 |  | au-ts | 1 | 158 |
| 8 |  | diekmann | 5 | 105 |
| 9 |  | isabelle-prover | 15 | 97 |
| 10 |  | TartanLlama | 1 | 81 |
1,114Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | elle | 639 | 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 |