Stream: coq-community devs & users

Topic: Zulip links


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

view this post on Zulip Karl Palmskog (Apr 21 2022 at 14:54):

@Théo Zimmermann do we get web global in this stream as well?

view this post on Zulip 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: Mar 28 2024 at 19:02 UTC