Statistics for language Dafny
RepositoryStats tracks 537,045 Github repositories, of these 6 are reported to use a primary language of Dafny.
Most starred repositories for language Dafny (view more)
The MSR Ironclad project builds provably secure and reliable systems.
Created
2015-09-23
175 commits to main branch, last one about a year ago
An EVM interpreter in Dafny
Created
2022-02-03
1,069 commits to master branch, last one about a month ago
Eth2.0 spec in Dafny
Created
2019-12-02
985 commits to master branch, last one 2 years ago
Proving a blocking queue deadlock free in a dozen different ways
Created
2020-02-20
6 commits to master branch, last one 3 years ago
Towards AI-Assisted Synthesis of Verified Dafny Methods
Created
2023-06-07
83 commits to master branch, last one 26 days ago
An EVM bytecode disassembler/assembler
Created
2023-10-21
775 commits to main branch, last one 3 months ago
Trending repositories for language Dafny (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)
no repositories trending in the last week
Last week (relative gain)
no repositories trending in the last week
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
Last month (relative gain)
microsoft/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
243
(+0.4%)
Last 12-months (new repositories)
Last 12-months (absolute gain)
Last 12-months (relative gain)
lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
41
(+5%)
cc0-1.0