Erfasste Open-Source-Repos von magmide, sortiert nach Sternen.
Eine abhängig typisierte Beweissprache, die es Softwareentwicklern ermöglichen soll, nachweislich korrekten Bare-Metal-Code zu schreiben.
