Statistics for language Isabelle
RepositoryStats tracks 596,214 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 2 months ago
Sail architecture definition language
Created
2018-01-31
5,868 commits to sail2 branch, last one 3 days ago
seL4 specification and proofs
Created
2014-07-17
5,830 commits to master branch, last one 2 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 3 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)
no repositories trending in the last 3 days
Last 3 days (relative gain)
no repositories trending in the last 3 days
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)
