Home · Extensions · .mll

`.mll`

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.

76.2K

total occurrences

11.5K

since 2019 (15.0%)

1970–2023

years active

Case variants in archive: .mll (76.2K), .MLL (25) — aggregated above.

Attribution status

This extension is attributed to Objective Caml — every claim across all sources (including secondary ones) points to a single language.

Authoritative sources: △ Linguist · secondary △ Pygments · secondary ✗ Wikidata · no claim ✗ Wikipedia · no claim

Disagree or have a correction? Open a labelling issue.

Claimants (2)

Languages that list .mll among their extensions. Strength reflects whether the upstream source treated it as their primary extension.

Language	Source	Strength
Objective Caml	linguist	secondary
Objective Caml	pygments	secondary

SWH-mined examples (1)

Real archived programs with this extension, byte-verified against the SWH archive. Useful for deciding what this extension actually is when the attribution is uncertain.

WLexer.mll · 5496 B · seen 8× in SWH

predicted: Objective Caml via fallback

swh:1:cnt:fafc17d5429e60f2f6d7b11293daaaa202e714a9;origin=https://github.com/GillianPlatform/Gillian;anchor=swh:1:rev:9ca68ac1a24bf58fa501067419808a5531365b89;path=/wisl/lib/ParserAndCompiler/WLexer.mll

Open in SWH · Raw bytes