Statistics for language Isabelle

RepositoryStats tracks 584,771 Github repositories, of these 13 are reported to use a primary language of Isabelle.

Most starred repositories for language Isabelle (view more)

34
644
epl-2.0
18
Black-box transactional safety checker based on cycle detection
Created 2020-02-23
230 commits to main branch, last one about a month ago
113
621
other
35
Sail architecture definition language
Created 2018-01-31
5,832 commits to sail2 branch, last one a day ago
108
515
other
37
seL4 specification and proofs
Created 2014-07-17
5,809 commits to master branch, last one 28 days ago
A Lem formalization of EVM and some Isabelle/HOL proofs
Created 2016-10-01
1,520 commits to master branch, last one 6 years ago
43
172
apache-2.0
34
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Created 2017-08-24
1,464 commits to master branch, last one 2 months ago
26
158
other
21
Cogent Project
Created 2016-05-01
2,376 commits to master branch, last one about a year ago

Trending repositories for language Isabelle (view more)