Trending repositories for language Dafny
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)
no repositories trending in the last month
Last month (relative gain)
no repositories trending in the last month
Last 12-months (new repositories)
Last 12-months (absolute gain)
lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
42
(+2)
cc0-1.0
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