Erfasste Open-Source-Repos von petsc, sortiert nach Sternen.
Spiegelung von https://gitlab.com/petsc/petsc
