Karl Palmskog (Jun 15 2020 at 20:53): Karl Palmskog (Jun 15 2020 at 20:53):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
Gaëtan Gilbert (Jun 15 2020 at 21:02):soon it will be more popular than javascript
Pierre-Marie Pédrot (Jun 15 2020 at 21:04):Today GitHub, tomorrow the world
Karl Palmskog (Jun 15 2020 at 21:11):don't forget the X axis, StackOverflow, let's get that before the world
Karl Palmskog (Jun 15 2020 at 21:11):those damn Web Ontologists are still ahead on StackOverflow
Pierre-Marie Pédrot (Jun 15 2020 at 21:12)::face_palm:
Bas Spitters (Jun 15 2020 at 21:13):They don't use zulip...
Karl Palmskog (Jun 15 2020 at 21:15):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: Sep 15 2024 at 12:01 UTC