Stream: coq-community devs & users

Topic: Sister organizations on GitHub

Karl Palmskog (Mar 15 2022 at 13:04):

We may want to track sister organizations on GitHub over time to see what they are doing:

• Typelevel (Scala): https://github.com/typelevel
• Lean community (Lean): https://github.com/leanprover-community
• OCaml community (OCaml): https://github.com/ocaml-community
• Nix community (Nix OS and package manager): https://github.com/nix-community/
• Elm community (Elm): https://github.com/elm-community
• ReasonML community (Reason): https://github.com/reasonml-community

Théo Zimmermann (Mar 15 2022 at 17:44):

How do you define what makes a sister organization? If you use our CPMO (Community Package Maintenance Organization) definition (https://hal.inria.fr/hal-03320556), some of the ones you listed are a bit fringe because they do not document any process for adding packages or even new members. And here are a few more that we know about:

• Dlang-community (D): https://github.com/dlang-community
• Flutter Community (Flutter): https://github.com/fluttercommunity
• Meteor Community (Meteor): https://github.com/Meteor-Community-Packages
• Sous Chefs (Chef): https://github.com/sous-chefs
• Trac Hacks (Trac): https://github.com/trac-hacks
• Vox Pupuli (Puppet): https://github.com/voxpupuli

Here are a few more that we initially thought qualified but eliminated in the end:

• LM Commons (Laminas): https://github.com/LM-Commons
• Node.js PMT (Node.js): https://github.com/pkgjs
• React-native-community (React native): https://react-native-community

Alexander Gryzlov (Mar 15 2022 at 17:48):

Idris has semi-official https://github.com/idris-community/

Alexander Gryzlov (Mar 15 2022 at 17:50):

also I should note that Typelevel doesn't cover the full Scala community, even in the FP subset there's also https://github.com/zio which is sort of a competing sub-community

Karl Palmskog (Mar 15 2022 at 18:07):

"sister organization" was just a vague way of saying "is a bit like coq-community". In the case of Lean, since they go nearly all in on monorepo, there is probably no need to document a process for adding packages.

Karl Palmskog (Mar 15 2022 at 18:09):

it's interesting that Scala has competing subcommunities. I guess we could view the "MPI community" (Iris, stdpp, ...) in this way, sort of. But thanks to the Platform and Coq package index, there is at least a way to intermingle packages

Théo Zimmermann (Mar 15 2022 at 18:10):

Isn't autosubst kind of MPI community-related and yet in coq-community?

Karl Palmskog (Mar 15 2022 at 18:11):

not exactly, since it originated in a non-MPI setting (Saarland university). It happens to be currently maintained by someone affiliated to MPI (Ralf)

Karl Palmskog (Mar 15 2022 at 18:12):

however, there are obviously ties between MPI-SWS and Saarland university, I believe MPI-SWS get all their students degrees via Saarland

Karl Palmskog (Mar 15 2022 at 18:16):

I like how Typelevel (and also Zio) explicitly say that they maintain generally useful stuff. I guess we could be clearer that quite a lot of our projects are generally useful to Coq users, although it's not a requirement.

Paolo Giarrusso (Mar 15 2022 at 19:24):

well, in a technical sense zio is competing with typelevel like math-comp is "alternative" to stdpp etc. — they're opinionated ecosystems.

Karl Palmskog (Mar 15 2022 at 19:45):

it's probably useful to classify "openness" of an organization in several dimensions like:

• can anyone register an account on the repo platform?
• are repos under open source licenses? permissive/copyleft/weak-copyleft open source licenses?
• can registered accounts submit (1) issues and (2) PRs?
• can registered accounts plausibly propose new projects?
• are packages available from elsewhere than on the repo platform?

I presume Théo has already thought about this somewhere.

Last updated: Jun 03 2023 at 18:01 UTC