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 |