Isabelle

languages / Isabelle
597Developers

Top ranked

RankDeveloperReposStars
1gravatar for seL4seL42578
2gravatar for jepsen-iojepsen-io1555
3gravatar for pirapirapirapira3236
4gravatar for elasticelastic1201
5gravatar for input-output-hkinput-output-hk7179
6gravatar for au-tsau-ts1156
7gravatar for diekmanndiekmann5100
8gravatar for isabelle-proverisabelle-prover1465
9gravatar for TartanLlamaTartanLlama163
10gravatar for data61data61156
938Repos

Top ranked

RankRepoStarsDeveloper
jepsen-io/elle on Github1elle555jepsen-io
seL4/l4v on Github2l4v468seL4
pirapira/eth-isabelle on Github3eth-isabelle228pirapira
elastic/elasticsearch-formal-models on Github4elasticsearch-formal-models201elastic
input-output-hk/marlowe on Github5marlowe168input-output-hk
au-ts/cogent on Github6cogent156au-ts
seL4/isabelle on Github7isabelle110seL4
diekmann/Iptables_Semantics on Github8Iptables_Semantics91diekmann
TartanLlama/non-binary on Github9non-binary63TartanLlama
data61/PSL on Github10PSL56data61
0Topics

Most popular

TopicReposStars