# Isabelle GitHub repos

<https://repo.masters-masters.com/en/languages/isabelle>

[Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [Isabelle](https://repo.masters-masters.com/en/languages/isabelle)

All 9 Isabelle GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each.

## Isabelle GitHub repos

9 Isabelle repos in the catalog, most starred first.

- [seL4/l4v · ★ 657 · Isabelle · Alpha](https://repo.masters-masters.com/en/repos/seL4/l4v)
- [pirapira/eth-isabelle · ★ 245 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/pirapira/eth-isabelle)
- [elastic/elasticsearch-formal-models · ★ 216 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/elastic/elasticsearch-formal-models)
- [au-ts/cogent · ★ 184 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/au-ts/cogent)
- [marlowe-lang/marlowe · ★ 174 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/marlowe-lang/marlowe)
- [seL4/isabelle · ★ 143 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/seL4/isabelle)
- [awslabs/AutoCorrode · ★ 114 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/awslabs/AutoCorrode)
- [isabelle-prover/mirror-isabelle · ★ 101 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/isabelle-prover/mirror-isabelle)
- [diekmann/Iptables\_Semantics · ★ 100 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/diekmann/Iptables_Semantics)

---
Data: GitHub