Théo Zimmermann (Apr 11 2022 at 14:13): Théo Zimmermann (Apr 11 2022 at 14:13):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) Karl Palmskog (Apr 21 2022 at 14:54):@Théo Zimmermann do we get web global in this stream as well?
Théo Zimmermann (Apr 21 2022 at 15:00):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: Jun 06 2023 at 22:01 UTC