Isabelle

languages / Isabelle
543Developers

Top ranked

RankDeveloperReposStars
1gravatar for seL4seL42551
2gravatar for jepsen-iojepsen-io1537
3gravatar for pirapirapirapira3236
4gravatar for input-output-hkinput-output-hk7169
5gravatar for au-tsau-ts1152
6gravatar for diekmanndiekmann599
7gravatar for TartanLlamaTartanLlama158
8gravatar for isabelle-proverisabelle-prover1355
9gravatar for isabelle-utpisabelle-utp1450
10gravatar for CTSRD-CHERICTSRD-CHERI540
839Repos

Top ranked

RankRepoStarsDeveloper
jepsen-io/elle on Github1elle537jepsen-io
seL4/l4v on Github2l4v445seL4
pirapira/eth-isabelle on Github3eth-isabelle228pirapira
input-output-hk/marlowe on Github4marlowe158input-output-hk
au-ts/cogent on Github5cogent152au-ts
seL4/isabelle on Github6isabelle106seL4
diekmann/Iptables_Semantics on Github7Iptables_Semantics90diekmann
TartanLlama/non-binary on Github8non-binary58TartanLlama
CTSRD-CHERI/sail-cheri-riscv on Github9sail-cheri-riscv40CTSRD-CHERI
isabelle-prover/mirror-isabelle on Github10mirror-isabelle37isabelle-prover
111Topics

Most popular