TLA+ Foundation

tlaplus

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions1Distinct extension identifiers across registries

Marketplace installs19.1KTotal from all extensions

Open VSX downloads141.3KTotal from all extensions

Extensions

VS Marketplace Sync: Nov 5, 2026, 22:14 UTCOpen VSX Sync: Nov 5, 2026, 22:19 UTC

Extensions under tlaplus. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
Extension	VS Marketplace	Open VSX
TLA+ (Temporal Logic of Actions)tlaplus.vscode-ide	Installs 19,055+1.2% · 7d Rating ★ 4.0 Category rank #496 · Debuggers Latest v2026.11.31818 · Nov 3, 2026	Downloads 141,262+4.4% · 7d Rating — Category rank #59 · Debuggers Latest v2026.11.31821 · Nov 3, 2026