Statistics for language Dafny
RepositoryStats tracks 579,551 Github repositories, of these 7 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,086 commits to master branch, last one 14 days ago
Eth2.0 spec in Dafny
Created
2019-12-02
985 commits to master branch, last one 3 years ago
Proving a blocking queue deadlock free in a dozen different ways
Created
2020-02-20
7 commits to master branch, last one 10 days ago
Towards AI-Assisted Synthesis of Verified Dafny Methods
Created
2023-06-07
83 commits to master branch, last one 5 months ago
An EVM bytecode disassembler/assembler
Created
2023-10-21
873 commits to main branch, last one 3 days 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)
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)
lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
42
(+5%)
cc0-1.0