ms-jpq/coq.thirdparty

Module lua sources for `coq.nvim`, first & third party

by dogisgreat Lua 14 forks Created Sept 2021 View on GitHub

Stars
65
1% of ms-jpq's stars
Rank
#682,975
of 851,979 repos, top 81%
In Lua
#4,724
of 6,068 repos, top 78%

Among 851,979 repos

Compare with

63–100 stars: 217,619 repos, including coq.thirdparty

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

Quick stats

Next rank
+1 star to reach #674,797
Next milestone
+1 star to reach the top 80%
Yearly average
13 stars a year since Sept 2021

Stars counted Recounted daily Next count around