Erfasste Open-Source-Repos von dafny-lang, sortiert nach Sternen.
Dafny ist eine verifikationsbewusste Programmiersprache
