.dfy
1 claimant
1 primary
0 secondary
unambiguous primary
SWH popularity
From the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.
62.3K
total occurrences
23.1K
since 2019 (37.1%)
2011–2023
years active
Case variants in archive: .dfy (62.3K), .DFY (2), .Dfy (1) — aggregated above.
Attribution status
This extension is attributed to Dafny as primary by 1 authoritative claim.
Authoritative sources: ✓ Linguist ✗ Pygments · no claim ✗ Wikidata · no claim △ Wikipedia · secondary
Claimants (2)
Languages that list
.dfy among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| Dafny | linguist | primary |
| Dafny | wikipedia | proposed |
SWH-mined examples (0)
No archived examples for .dfy in our local mirror yet.