Back to leaderboard 
TLA+ (Temporal Logic of Actions)
tlaplus.vscode-ide
TLA+ language support
__ext_cfg__ext_ndjson__ext_out__ext_tla__web_extensiondebuggersFormal modelskeybindingslanguage-model-toolsModelingPlusCalsnippetSpecificationTLATLA+tlaplustlaplus_cfgtlaplus_ndjsontlaplus_outTLCtoolsProgramming LanguagesSnippetsFormattersOtherDebuggers
Open VSX
Total downloads
87,511
Since yesterday
+154
Current version
v2026.6.242338
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 87,511 | v2026.6.242338 |
| 2026-07-02 02:00:00 | 87,357 | v2026.6.242338 |
| 2026-07-01 02:00:00 | 87,301 | v2026.6.242338 |
| 2026-06-30 02:00:00 | 87,275 | v2026.6.242338 |
| 2026-06-29 14:14:45 | 86,861 | v2026.6.242338 |
| 2026-06-28 07:06:24 | 86,809 | v2026.6.242338 |