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
94,987
Since yesterday
+20
Current version
v2026.8.231203
Days tracked
66
Download history
Version history
v2026.8.231203 from v2026.8.211616
Detected 2026-08-24 02:00 UTC
v2026.8.211616 from v2026.8.22257
Detected 2026-08-22 02:00 UTC
v2026.8.22257 from v2026.7.211300
Detected 2026-08-03 02:00 UTC
v2026.7.211300 from v2026.7.181502
Detected 2026-07-22 02:00 UTC
v2026.7.181502 from v2026.7.151400
Detected 2026-07-19 02:00 UTC
v2026.7.151400 from v2026.6.242338
Detected 2026-07-16 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 94,987 | v2026.8.231203 |
| 2026-08-30 02:00:00 | 94,967 | v2026.8.231203 |
| 2026-08-29 02:00:00 | 94,947 | v2026.8.231203 |
| 2026-08-28 02:00:00 | 94,919 | v2026.8.231203 |
| 2026-08-27 02:00:00 | 94,885 | v2026.8.231203 |
| 2026-08-26 02:00:00 | 94,817 | v2026.8.231203 |
| 2026-08-25 02:00:00 | 94,761 | v2026.8.231203 |
| 2026-08-24 02:00:00 | 93,951 | v2026.8.231203 |
| 2026-08-23 02:00:00 | 93,657 | v2026.8.211616 |
| 2026-08-22 02:00:00 | 93,545 | v2026.8.211616 |
| 2026-08-21 02:00:00 | 93,263 | v2026.8.22257 |
| 2026-08-20 02:00:00 | 93,255 | v2026.8.22257 |
| 2026-08-19 02:00:00 | 93,227 | v2026.8.22257 |
| 2026-08-18 02:00:00 | 93,199 | v2026.8.22257 |
| 2026-08-17 02:00:00 | 93,185 | v2026.8.22257 |
| 2026-08-16 02:00:00 | 93,177 | v2026.8.22257 |
| 2026-08-15 02:00:00 | 93,155 | v2026.8.22257 |
| 2026-08-14 02:00:00 | 93,131 | v2026.8.22257 |
| 2026-08-13 02:00:00 | 93,117 | v2026.8.22257 |
| 2026-08-12 02:00:00 | 93,107 | v2026.8.22257 |
| 2026-08-11 02:00:00 | 93,081 | v2026.8.22257 |
| 2026-08-10 02:00:00 | 93,045 | v2026.8.22257 |
| 2026-08-09 02:00:00 | 93,023 | v2026.8.22257 |
| 2026-08-08 02:00:00 | 92,999 | v2026.8.22257 |
| 2026-08-07 02:00:00 | 92,951 | v2026.8.22257 |
| 2026-08-06 02:00:00 | 92,899 | v2026.8.22257 |
| 2026-08-05 02:00:00 | 92,807 | v2026.8.22257 |
| 2026-08-04 02:00:00 | 92,157 | v2026.8.22257 |
| 2026-08-03 02:00:00 | 91,456 | v2026.8.22257 |
| 2026-08-02 02:00:00 | 91,289 | v2026.7.211300 |
| 2026-08-01 02:00:00 | 91,269 | v2026.7.211300 |
| 2026-07-31 02:00:00 | 91,249 | v2026.7.211300 |
| 2026-07-30 02:00:00 | 91,225 | v2026.7.211300 |
| 2026-07-29 06:50:17 | 91,203 | v2026.7.211300 |
| 2026-07-28 02:00:00 | 91,141 | v2026.7.211300 |
| 2026-07-27 02:00:00 | 91,105 | v2026.7.211300 |
| 2026-07-26 02:00:00 | 91,049 | v2026.7.211300 |
| 2026-07-25 02:00:00 | 91,005 | v2026.7.211300 |
| 2026-07-24 02:00:00 | 90,941 | v2026.7.211300 |
| 2026-07-23 02:00:00 | 90,835 | v2026.7.211300 |
| 2026-07-22 02:00:00 | 90,691 | v2026.7.211300 |
| 2026-07-21 02:00:00 | 90,455 | v2026.7.181502 |
| 2026-07-20 02:00:00 | 89,873 | v2026.7.181502 |
| 2026-07-19 02:00:00 | 89,735 | v2026.7.181502 |
| 2026-07-18 02:00:00 | 89,011 | v2026.7.151400 |
| 2026-07-17 02:00:00 | 88,923 | v2026.7.151400 |
| 2026-07-16 02:00:00 | 87,991 | v2026.7.151400 |
| 2026-07-15 02:00:00 | 87,801 | v2026.6.242338 |
| 2026-07-14 02:00:00 | 87,785 | v2026.6.242338 |
| 2026-07-13 02:00:00 | 87,767 | v2026.6.242338 |
| 2026-07-12 02:00:00 | 87,755 | v2026.6.242338 |
| 2026-07-11 02:00:00 | 87,743 | v2026.6.242338 |
| 2026-07-10 02:00:00 | 87,725 | v2026.6.242338 |
| 2026-07-09 05:29:22 | 87,701 | v2026.6.242338 |
| 2026-07-08 02:00:00 | 87,661 | v2026.6.242338 |
| 2026-07-07 02:00:00 | 87,639 | v2026.6.242338 |
| 2026-07-06 02:00:00 | 87,591 | v2026.6.242338 |
| 2026-07-05 02:00:00 | 87,581 | v2026.6.242338 |
| 2026-07-04 02:00:00 | 87,559 | v2026.6.242338 |
| 2026-07-04 02:00:00 | 87,559 | v2026.6.242338 |
| 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 |