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: (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:

- (@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 03 2024 at 15:01 UTC