Home · Extensions · .mli

`.mli`

1 claimant 1 primary 0 secondary unambiguous primary

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.

974.6K

total occurrences

253.2K

since 2019 (26.0%)

1970–2023

years active

Case variants in archive: .mli (974.5K), .MLI (99), .mlI (1) — aggregated above.

Attribution status

This extension is attributed to Objective Caml as primary by 1 authoritative claim.

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

Disagree or have a correction? Open a labelling issue.

Claimants (3)

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

Language	Source	Strength
Objective Caml	wikidata	primary
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.

logs_sequence_number.mli · 127 B · seen 154× in SWH

predicted: Objective Caml via fallback

swh:1:cnt:57a5de4f61ddd67d42223b478a56df3f52460edb;origin=https://github.com/Nitrokey/nethsm;anchor=swh:1:rev:0730aa85338b227a8be5f9a42b8477948041fc26;path=/src/keyfender/logs_sequence_number.mli

Open in SWH · Raw bytes