Isabelle

languages / Isabelle
528Developers

Top ranked

RankDeveloperReposStars
1gravatar for jepsen-iojepsen-io1524
2gravatar for seL4seL42523
3gravatar for pirapirapirapira3235
4gravatar for elasticelastic1193
5gravatar for input-output-hkinput-output-hk7164
6gravatar for au-tsau-ts1151
7gravatar for diekmanndiekmann596
8gravatar for TartanLlamaTartanLlama157
9gravatar for isabelle-proverisabelle-prover1345
10gravatar for isabelle-utpisabelle-utp1343
835Repos

Top ranked

RankRepoStarsDeveloper
jepsen-io/elle on Github1elle524jepsen-io
seL4/l4v on Github2l4v417seL4
pirapira/eth-isabelle on Github3eth-isabelle227pirapira
elastic/elasticsearch-formal-models on Github4elasticsearch-formal-models193elastic
input-output-hk/marlowe on Github5marlowe156input-output-hk
au-ts/cogent on Github6cogent151au-ts
seL4/isabelle on Github7isabelle106seL4
diekmann/Iptables_Semantics on Github8Iptables_Semantics90diekmann
TartanLlama/non-binary on Github9non-binary57TartanLlama
jix/sortnetopt on Github10sortnetopt36jix
109Topics

Most popular