.dfy
1 claimant
1 primary
0 secondary
unambiguous primary
SWH popularity
Distinct files in the full Software Heritage archive (2026-06-04 export), dated by first appearance, following Desmazières, Di Cosmo, Lorentz (MSR 2025). Case-aggregated. citation.
131.8K
total files
95.0K
first seen 2021–2025 (72.0%)
2022
median year (half its files since)
Case variants in archive: .dfy (131.8K), .DFY (2), .Dfy (2) — 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.