Erfasste Open-Source-Repos von CakeML, sortiert nach Sternen.
CakeML: Eine verifizierte Implementierung von ML
