The Coq Zulip has 70 repositories (out of the top 2 million GitHub repositories) linking to it: https://twitter.com/codestat_dev/status/1511875982763827204 (only surpassed by Rust). I think we owe this result in large part to the Zulip link in the coq-community README template. This modified query reveals that 51 repositories link to the coq-community stream. The next most linked streams are the Platform, devs, users and jsCoq ones with 3 repositories each...
There are exactly 1,600 @zulip chat groups linked in the top 2 million #GitHub repositories, with @CoqLang and @JuliaLanguage in the lead having the most links to theirs. Check it out: https://codestat.dev/s/zulip/groups https://twitter.com/codestat_dev/status/1511875982763827204/photo/1- codestat.dev (@codestat_dev)
@Théo Zimmermann do we get web global in this stream as well?
Done. Because of a Zulip bug, I have prioritized making web-public streams that were created in Zulip rather than migrated from Gitter.
Last updated: Feb 04 2023 at 02:03 UTC