We may want to track sister organizations on GitHub over time to see what they are doing:
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:
Here are a few more that we initially thought qualified but eliminated in the end:
Idris has semi-official https://github.com/idris-community/
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
"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.
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
Isn't autosubst kind of MPI community-related and yet in coq-community?
not exactly, since it originated in a non-MPI setting (Saarland university). It happens to be currently maintained by someone affiliated to MPI (Ralf)
however, there are obviously ties between MPI-SWS and Saarland university, I believe MPI-SWS get all their students degrees via Saarland
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.
well, in a technical sense zio is competing with typelevel like math-comp is "alternative" to stdpp etc. — they're opinionated ecosystems.
it's probably useful to classify "openness" of an organization in several dimensions like:
I presume Théo has already thought about this somewhere.
Last updated: Jun 03 2023 at 18:01 UTC