Erfasste Open-Source-Repos von emina, sortiert nach Sternen.
Die Rosette-Solver-gestützte Host-Sprache, beispielhafte Solver-gestützte DSLs und Demos
