Erfasste Open-Source-Repos von uwdb, sortiert nach Sternen.
Cosette ist ein automatisierter SQL-Solver.
