.coq
1 claimant
0 primary
1 secondary
secondary-only
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.
954
total occurrences
162
since 2019 (17.0%)
2000–2023
years active
Case variants in archive: .coq (950), .Coq (2), .COQ (1), .COq (1) — aggregated above.
Attribution status
This extension is attributed to Rocq — every claim across all sources (including secondary ones) points to a single language.
Authoritative sources: △ Linguist · secondary ✗ Pygments · no claim ✗ Wikidata · no claim ✗ Wikipedia · no claim
Claimants (1)
Languages that list
.coq among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| Rocq | linguist | secondary |
SWH-mined examples (0)
No archived examples for .coq in our local mirror yet.