Top Isabelle repos

languages / Isabelle / global

1,035 repos

«12...104»
RankRepoStarsDeveloper
jepsen-io/elle on Github1elle608jepsen-io
rems-project/sail on Github2sail516rems-project
seL4/l4v on Github3l4v488seL4
pirapira/eth-isabelle on Github4eth-isabelle233pirapira
elastic/elasticsearch-formal-models on Github5elasticsearch-formal-models203elastic
input-output-hk/marlowe on Github6marlowe170input-output-hk
au-ts/cogent on Github7cogent155au-ts
seL4/isabelle on Github8isabelle116seL4
diekmann/Iptables_Semantics on Github9Iptables_Semantics94diekmann
TartanLlama/non-binary on Github10non-binary77TartanLlama