Isabelle
languages / Isabelle543Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | seL4 | 2 | 551 |
| 2 |  | jepsen-io | 1 | 537 |
| 3 |  | pirapira | 3 | 236 |
| 4 |  | input-output-hk | 7 | 169 |
| 5 |  | au-ts | 1 | 152 |
| 6 |  | diekmann | 5 | 99 |
| 7 |  | TartanLlama | 1 | 58 |
| 8 |  | isabelle-prover | 13 | 55 |
| 9 |  | isabelle-utp | 14 | 50 |
| 10 |  | CTSRD-CHERI | 5 | 40 |
839Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | elle | 537 | jepsen-io |
| 2 | l4v | 445 | seL4 |
| 3 | eth-isabelle | 228 | pirapira |
| 4 | marlowe | 158 | input-output-hk |
| 5 | cogent | 152 | au-ts |
| 6 | isabelle | 106 | seL4 |
| 7 | Iptables_Semantics | 90 | diekmann |
| 8 | non-binary | 58 | TartanLlama |
| 9 | sail-cheri-riscv | 40 | CTSRD-CHERI |
| 10 | mirror-isabelle | 37 | isabelle-prover |