lean-lang.org

Yes. lean-lang.org is growing faster than 90% of comparable items on extensions & add-ons and web reach. The strongest: extensions & add-ons, 1.11× in 30 days (173k to 191k installs).

Extensions & add-ons: 1.11× in 30 days (173k to 191k installs). Web reach: 1.17× in 14 days (#246k to #210k rank among all websites).

On extensions & add-ons it ranks #1,105 of 29,318 editor extensions by growth over 30 days, faster than 96% of editor extensions. On web reach it ranks #249 of 4,516 company websites by growth over 14 days, climbing faster than 94% of company websites.

Lean 4 (extensions & add-ons, 1.11×).

Beside lean-lang.org, the fastest growers on extensions & add-ons are Logi Command Manager (4.2×), Google Antigravity (3.5×), DeepSeek Harness for VSCode (3.3×) and Hermes Agent (3.2×).

Vela Breakout counts public usage every day: AI tokens, package downloads, installs, open roles, software spend and web reach. Each figure is measured, not estimated, and dated; this page is as of Oct 10, 2026.