TLA+ Foundation

Not unusually. TLA+ Foundation's measures are moving with or below their peers; the strongest is extensions & add-ons, 1.06× in 30 days (17.3k to 18.3k installs).

Extensions & add-ons: 1.06× in 30 days (17.3k to 18.3k installs). Web reach: 0.87× in 14 days (#864k to #994k rank among all websites).

On extensions & add-ons it ranks #2,163 of 29,318 editor extensions by growth over 30 days, faster than 92% of editor extensions. On web reach it ranks #4,279 of 4,516 company websites by growth over 14 days, slower than most company websites.

TLA+ (Temporal Logic of Actions) (extensions & add-ons, 1.06×).

Beside TLA+ Foundation, 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.