.r3d
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.
565
total files
93
first seen 2021–2025 (16.5%)
2020
median year (half its files since)
Case variants in archive: .r3d (542), .R3D (23) — aggregated above.
Attribution status
This extension is attributed to Redcode as primary by 1 authoritative claim.
Authoritative sources: ✗ Linguist · no claim ✗ Pygments · no claim ✓ Wikidata · Q7276305 ✗ Wikipedia · no claim
Claimants (1)
Languages that list
.r3d among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| Redcode | wikidata | primary |
Wikidata says… (3)
File formats, image formats, audio codecs and other non-PL
entities that claim
.r3d 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 |
|---|---|---|---|---|---|
| RED digital pictures Q7276305 file format | file format family | — | — | — | Use as new PL ↗ |
| Redcode RAW (R3D) Media File 1 Q136717765 file format | raw image format | data:domain | — | — | Use as new PL ↗ |
| Redcode RAW (R3D) Media File 2 Q136717835 file format | raw image format | data:domain | — | — | Use as new PL ↗ |
SWH-mined examples (0)
No archived examples for .r3d in our local mirror yet.