# Dépôts Isabelle [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Isabelle](https://repo.masters-masters.com/languages/isabelle) Les 9 dépôts Isabelle open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. ## Dépôts Isabelle 9 dépôts Isabelle au catalogue, du plus étoilé au moins étoilé. - [seL4/l4v · ★ 657 · Isabelle · Alpha](https://repo.masters-masters.com/repos/seL4/l4v) - [pirapira/eth-isabelle · ★ 245 · Isabelle · Prototype](https://repo.masters-masters.com/repos/pirapira/eth-isabelle) - [elastic/elasticsearch-formal-models · ★ 216 · Isabelle · Prototype](https://repo.masters-masters.com/repos/elastic/elasticsearch-formal-models) - [au-ts/cogent · ★ 184 · Isabelle · Prototype](https://repo.masters-masters.com/repos/au-ts/cogent) - [marlowe-lang/marlowe · ★ 174 · Isabelle · Prototype](https://repo.masters-masters.com/repos/marlowe-lang/marlowe) - [seL4/isabelle · ★ 143 · Isabelle · Prototype](https://repo.masters-masters.com/repos/seL4/isabelle) - [awslabs/AutoCorrode · ★ 113 · Isabelle · Prototype](https://repo.masters-masters.com/repos/awslabs/AutoCorrode) - [isabelle-prover/mirror-isabelle · ★ 101 · Isabelle · Prototype](https://repo.masters-masters.com/repos/isabelle-prover/mirror-isabelle) - [diekmann/Iptables\_Semantics · ★ 100 · Isabelle · Prototype](https://repo.masters-masters.com/repos/diekmann/Iptables_Semantics) --- Données : GitHub