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)
Black-box transactional safety checker based on cycle detection
Created
2020-02-23
230 commits to main branch, last one about a month ago
Sail architecture definition language
Created
2018-01-31
5,832 commits to sail2 branch, last one a day ago
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
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
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)
Last 12-months (relative gain)