Dafny good first issues

3 open Dafny issues currently match the default 10+ star filter. Scored difficulty: 5,943 at 1/5, 8,722 at 2/5, 12,675 at 3/5, 12,093 at 4/5, 856 at 5/5. This hub uses the same feed as the homepage, limited to repositories whose GitHub language is Dafny.

All languages · Browse projects · How to find good first issues · Hacktoberfest 2026

Showing 3 of ~3 matching filters (Dafny · 10+ stars)

List

Also browsing: Python , TypeScript , JavaScript