Erfasste Open-Source-Repos von sweirich, sortiert nach Sternen.
Eine Demo-Implementierung einer einfachen Sprache mit abhängigen Typen
