Stream: Coq users

Topic: Coq popularity over time


view this post on Zulip 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

view this post on Zulip Gaëtan Gilbert (Jun 15 2020 at 21:02):

soon it will be more popular than javascript

view this post on Zulip Pierre-Marie Pédrot (Jun 15 2020 at 21:04):

Today GitHub, tomorrow the world

view this post on Zulip Karl Palmskog (Jun 15 2020 at 21:11):

don't forget the X axis, StackOverflow, let's get that before the world

view this post on Zulip Karl Palmskog (Jun 15 2020 at 21:11):

those damn Web Ontologists are still ahead on StackOverflow

view this post on Zulip Pierre-Marie Pédrot (Jun 15 2020 at 21:12):

:face_palm:

view this post on Zulip Bas Spitters (Jun 15 2020 at 21:13):

They don't use zulip...

view this post on 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: Feb 04 2023 at 21:02 UTC