Lean 4 vs Puppet
Adoption and growth comparison · shareable link
Over the last 7 days, Lean 4 grew fastest (+1.3%).
Lean 4 vs Puppet: installs compared over last 90 days. Comparison of Lean 4, Puppet| Plugin | Metric | Current | 7d | 30d | Daily rate (30d) | Rank | Rating | Ratings / day | Updated |
|---|
 Lean 4VS Code Marketplace | Installs | 196,860 | +1.3% | — | — | #1536 | 4.6 | — | Fresh · Oct 23, 2026 |
 PuppetVS Code Marketplace | Installs | 188,875 | +0.1% | — | — | #1590 | 4.4 | — | Fresh · Oct 23, 2026 |
PluginStats