Top Isabelle repos
languages / Isabelle / global1,038 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 11 | sail-arm | 69 | rems-project |
| 12 | PSL | 62 | data61 |
| 13 | sail-cheri-riscv | 54 | CTSRD-CHERI |
| 14 | mirror-isabelle | 53 | isabelle-prover |
| 15 | sortnetopt | 40 | jix |
| 16 | yul-isabelle | 39 | ethereum |
| 17 | utp-main | 34 | isabelle-utp |
| 18 | auto2 | 33 | bzhan |
| 19 | fds_ss20 | 26 | nipkow |
| 20 | isabelle_llvm | 25 | lammich |