Statistics for language Isabelle

RepositoryStats tracks 618,349 Github repositories, of these 14 are reported to use a primary language of Isabelle.

Most starred repositories for language Isabelle (view more)

124
680
other
36
Sail architecture definition language
Created 2018-01-31
6,077 commits to sail2 branch, last one 10 hours ago
34
651
epl-2.0
17
Black-box transactional safety checker based on cycle detection
Created 2020-02-23
230 commits to main branch, last one 4 months ago
109
526
other
39
seL4 specification and proofs
Created 2014-07-17
5,856 commits to master branch, last one 3 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
Formal models of core Elasticsearch algorithms
Created 2016-09-20
74 commits to master branch, last one 5 years ago
44
173
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 5 months ago

Trending repositories for language Isabelle (view more)