ucsd-progsys/liquidhaskell

Liquid Types For Haskell

by ucsd-progsys Haskell BSD-3-Clause licence 167 forks Created Sept 2012 View on GitHub

Stars
1,341
66% of ucsd-progsys's stars
Rank
#51,058
of 851,984 repos, top 6%
In Haskell
#78
of 2,043 repos, top 4%

Among 851,984 repos

Compare with

1k–1.6k stars: 23,673 repos, including liquidhaskell

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

Quick stats

Next rank
+1 star to reach #51,026
Next milestone
+5,877 stars to reach the top 1%
Popular
One of 66,562 repos with 1k+ stars
Yearly average
95 stars a year since Sept 2012

Stars counted Recounted daily Next count around