Erfasste Open-Source-Repos von berkeley-abc, sortiert nach Sternen.
ABC: System zur Synthese sequenzieller Logik und formalen Verifikation
