Top Isabelle repos
languages / Isabelle / global1,044 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 21 | sabi | 23 | pandaman64 |
| 22 | concrete-semantics | 22 | kolya-vasiliev |
| 23 | isabelle-emacs | 21 | m-fleury |
| 24 | Gazelle | 19 | mmalvarez |
| 25 | IsaHipster | 19 | moajohansson |
| 26 | WasmCert-Isabelle | 18 | WasmCert |
| 27 | AOT | 17 | ekpyron |
| 28 | HSV | 16 | johnwickerson |
| 29 | IsarMathLib | 16 | SKolodynski |
| 30 | munta | 15 | wimmers |