Coq popularity seems to be growing on GitHub (see near coordinate (25,25)):
March 2019: http://sogrady-media.redmonk.com/sogrady/files/2019/03/lang.rank_.119.png
February 2020: https://redmonk.com/sogrady/files/2020/02/lang.rank_.120.wm_.png
In March 2019, Coq was below Standard ML and Web Ontology, February 2020 clearly above on GitHub.
Taken from this 2019 report and this 2020 report
Today GitHub, tomorrow the world
don't forget the X axis, StackOverflow, let's get that before the world
damn Web Ontologists are still ahead on StackOverflow
They don't use zulip...
I think we are disadvantaged by the presence of TCS Overflow, which steals precious questions away from being counted by these analyst firms. (Divided we fall... in the rankings)
Last updated: Feb 04 2023 at 21:02 UTC