PluginStatsMsg Language Support vs Lean 4
Adoption and growth comparison · shareable link
Over the last 7 days, Lean 4 grew fastest (+1.3%).
| Plugin | Metric | Current | 7d | 30d | Daily rate (30d) | Rank | Rating | Ratings / day | Updated |
|---|---|---|---|---|---|---|---|---|---|
| Msg Language SupportVS Code Marketplace | Installs | 189,891 | +0.4% | — | — | #1580 | 3.0 | — | Fresh · Oct 23, 2026 |
| Installs | 196,860 | +1.3% | — | — | #1536 | 4.6 | — | Fresh · Oct 23, 2026 |