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)
Sail architecture definition language
Created
2018-01-31
6,077 commits to sail2 branch, last one 10 hours ago
Black-box transactional safety checker based on cycle detection
Created
2020-02-23
230 commits to main branch, last one 4 months ago
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
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)
Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
Last 3 days (relative gain)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
Last week (relative gain)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
77
(+3)
Last month (relative gain)
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
77
(+4%)
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
77
(+7)
Last 12-months (relative gain)
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
77
(+10%)