dafny-lang

Not unusually. dafny-lang's measures are moving with or below their peers; the strongest is extensions & add-ons, 1.03× in 30 days (56.2k to 57.7k installs).

Extensions & add-ons: 1.03× in 30 days (56.2k to 57.7k installs). Developer tools: 1.16× in 30 days (476k to 550k downloads in 30 days). In the news: 1.00× in 14 days (110 to 110 points in 12 months).

On extensions & add-ons it ranks #4,955 of 29,318 editor extensions by growth over 30 days, faster than 83% of editor extensions. On developer tools it ranks #602 of 1,584 companies with packages by growth over 30 days, faster than 61% of companies with packages. On in the news it ranks #217 of 411 organizations in the news by growth over 14 days, slower than most organizations in the news.

Dafny (extensions & add-ons, 1.03×).

Beside dafny-lang, 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.