TLA+ (Temporal Logic of Actions)

tlaplus.vscode-ide · by TLA+ FoundationVS Marketplace VerifiedOpen VSX Verified

First Released:

Last Updated:

TLA+ language support

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 5, 2026, 22:12 UTC

Total installs19.1K

7d growth223+1.2% over 7d

Community rating★ 4.04 reviews

Latest version2026.11.31818Updated Nov 3, 2026

8 calculable days · 0 without calculable growth.

OPEN VSX

Last snapshot: Nov 5, 2026, 22:15 UTC

Total downloads141.3K

7d growth5.9K+4.4% over 7d

Community rating—0 reviews

Latest version2026.11.31821Updated Nov 3, 2026

8 calculable days · 0 without calculable growth.

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
DebuggersCategoryMarketplace · 2026-11-05 22:20 UTCOpen VSX · 2026-11-05 22:23 UTC	#496 of 3,154 ↑2 1d↑3 7d	#59 of 840 0 1d0 7d
FormattersCategoryMarketplace · 2026-11-05 22:20 UTCOpen VSX · 2026-11-05 22:23 UTC	#612 of 5,673 ↑1 1d↑5 7d	#68 of 1,356 0 1d↑1 7d
SnippetsCategory · 2026-11-05 22:24 UTC	No observed result	#78 of 1,754 0 1d↓1 7d
OtherCategory · 2026-11-05 22:24 UTC	No observed result	#204 of 12,569 0 1d↑3 7d
Programming LanguagesCategory · 2026-11-05 22:24 UTC	No observed result	#244 of 5,071 0 1d↑4 7d

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.