.v
6 claimants
5 primary
0 secondary
shared primary (5)
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.
5.8M
total occurrences
2.5M
since 2019 (42.8%)
1970–2023
years active
Case variants in archive: .v (5.8M), .V (11.1K) — aggregated above.
Attribution status
This extension is attributed to COQ; Rocq; Rocq; V; V; V (programming language); Verilog; Verilog as primary by 8 authoritative claims.
Claimants (10)
Languages that list
.v among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| COQ | pygments | primary |
| Rocq | linguist | primary |
| Rocq | pygments | primary |
| V | linguist | primary |
| V | pygments | primary |
| V (programming language) | pygments | primary |
| Verilog | linguist | primary |
| Verilog | pygments | primary |
| V | wikipedia | proposed |
| x3d | wikipedia | proposed |
Wikidata says… (9)
File formats, image formats, audio codecs and other non-PL
entities that claim
.v on Wikidata
(property P1195) or in the Wikipedia infobox.
Source: data/derived/external_extension_index.csv.
Click Use as new PL on any row to open the
Add-PL form pre-filled with that entry's name, Wikipedia/Wikidata
URL, and this extension — one submission creates the PL + claim.
| Format | Class (Wikidata P31) | Suggested label | MIME | Notes | Action |
|---|---|---|---|---|---|
| Verilog Q827773 hardware description language | hardware description language; modeling language | — | — | — | Use as new PL ↗ |
| Coq file format Q128775907 file format | file format | — | text/x-coq | — | Use as new PL ↗ |
| Verilog source code Q105860102 file format | file format | — | text/x-verilog | — | Use as new PL ↗ |
Disambiguation rules (3)
Linguist heuristics that decide, by content, which language a
.v file actually is.| Rule | Predicts | Kind | Predicates (truncated) |
|---|---|---|---|
h/linguist/.v/0 | Rocq | predicates | [{"kind": "any", "regexes": ["(?:^|\\s)(?:Proof|Qed)\\.(?:$|\\s)|(?:^|\\s)Require[ \\t]+(Import|Export)\\s"]}] |
h/linguist/.v/1 | Verilog | predicates | [{"kind": "any", "regexes": ["^[ \\t]*module\\s+[^\\s()]+\\s*\\#?\\(|^[ \\t]*`(?:define|ifdef|ifndef|include|timescale|pragma)|^[ \\t]*always[ \\t]*@|^[ \\t]*initial[ \\t]*(begin|@)"]}] |
h/linguist/.v/2 | V | predicates | [{"kind": "any", "regexes": ["\\$(?:if|else)[ \\t]|^[ \\t]*fn\\s+[^\\s()]+\\(.*?\\).*?\\{|^[ \\t]*for\\s*\\{"]}] |
SWH-mined examples (0)
No archived examples for .v in our local mirror yet.