Skip to content
PluginStats

protobuf vs Lean 4

Adoption and growth comparison · shareable link

Over the last 7 days, Lean 4 grew fastest (+1.4%).

protobuf vs Lean 4: installs compared over last 90 days.protobuf vs Lean 4Installs · Last 90 days194K194.5K195K195.5K196K196.5K197K197.5K198KJul 28Aug 12Aug 27Sep 11Sep 26Oct 11Oct 26installsprotobufLean 4Oct 16, 2026 – Oct 26, 2026 · Updated Oct 26, 2026pluginstats.com
protobuf vs Lean 4: installs compared over last 90 days.
Comparison of protobuf, Lean 4
PluginMetricCurrent7d30dDaily rate (30d)RankRatingRatings / dayUpdated
protobufVS Code MarketplaceInstalls197,967+0.1%——#15293.0—Fresh · Oct 26, 2026
Lean 4VS Code MarketplaceInstalls197,912+1.4%——#15344.6—Fresh · Oct 26, 2026