Erfasste Open-Source-Repos von AbsInt, sortiert nach Sternen.
Der formal verifizierte C-Compiler CompCert
