anishathalye/porcupine

A fast linearizability checker written in Go 🔎

by Anish Athalye Go MIT licence 71 forks Created May 2017 View on GitHub

Stars
1,277
5% of anishathalye's stars
Rank
#53,446
of 851,984 repos, top 7%
In Go
#3,395
of 34,947 repos, top 10%

Among 851,984 repos

Compare with

1k–1.6k stars: 23,676 repos, including porcupine

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #53,409
Next milestone
+5,943 stars to reach the top 1%
Popular
One of 66,569 repos with 1k+ stars
Yearly average
135 stars a year since May 2017

Stars counted Recounted daily Next count around