Statistics for language Isabelle
RepositoryStats tracks 537,390 Github repositories, of these 13 are reported to use a primary language of Isabelle.
Most starred repositories for language Isabelle (view more)
Black-box transactional safety checker based on cycle detection
Created
2020-02-23
227 commits to main branch, last one 5 months ago
Sail architecture definition language
Created
2018-01-31
5,716 commits to sail2 branch, last one a day ago
seL4 specification and proofs
Created
2014-07-17
5,708 commits to master branch, last one a day 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
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Created
2017-08-24
1,460 commits to master branch, last one about a month ago
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)
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)
Last month (relative gain)
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
70
(+12)
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
70
(+21%)
