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
135,579
Since yesterday
+416
Current version
v2026.10.280157
Days tracked
126
Download history
Version history
v2026.10.280157 from v2026.10.280049
Detected 2026-10-29 02:00 UTC
v2026.10.280049 from v2026.10.262322
Detected 2026-10-28 02:00 UTC
v2026.10.262322 from v2026.10.240149
Detected 2026-10-27 02:00 UTC
v2026.10.240149 from v2026.10.211531
Detected 2026-10-24 02:00 UTC
v2026.10.211531 from v2026.10.201840
Detected 2026-10-22 02:00 UTC
v2026.10.201840 from v2026.10.151513
Detected 2026-10-21 02:00 UTC
v2026.10.151513 from v2026.10.142303
Detected 2026-10-16 02:00 UTC
v2026.10.142303 from v2026.10.131655
Detected 2026-10-15 02:00 UTC
v2026.10.131655 from v2026.10.130127
Detected 2026-10-14 02:00 UTC
v2026.10.130127 from v2026.10.91720
Detected 2026-10-13 02:00 UTC
v2026.10.91720 from v2026.10.60203
Detected 2026-10-10 02:00 UTC
v2026.10.60203 from v2026.10.52312
Detected 2026-10-07 02:00 UTC
v2026.10.52312 from v2026.10.40313
Detected 2026-10-06 02:00 UTC
v2026.10.40313 from v2026.10.32327
Detected 2026-10-05 02:00 UTC
v2026.10.32327 from v2026.10.21648
Detected 2026-10-04 02:00 UTC
v2026.10.21648 from v2026.10.11851
Detected 2026-10-03 02:00 UTC
v2026.10.11851 from v2026.10.10139
Detected 2026-10-02 02:00 UTC
v2026.10.10139 from v2026.9.251645
Detected 2026-10-01 02:00 UTC
v2026.9.251645 from v2026.9.231554
Detected 2026-09-26 02:00 UTC
v2026.9.231554 from v2026.9.222232
Detected 2026-09-24 02:00 UTC
v2026.9.222232 from v2026.9.191928
Detected 2026-09-23 02:00 UTC
v2026.9.191928 from v2026.9.170333
Detected 2026-09-20 02:00 UTC
v2026.9.170333 from v2026.9.170003
Detected 2026-09-18 02:00 UTC
v2026.9.170003 from v2026.9.151827
Detected 2026-09-17 02:00 UTC
v2026.9.151827 from v2026.9.142123
Detected 2026-09-16 02:00 UTC
v2026.9.142123 from v2026.9.120302
Detected 2026-09-15 02:00 UTC
v2026.9.111621 from v2026.9.101924
Detected 2026-09-12 02:00 UTC
v2026.9.101924 from v2026.9.92204
Detected 2026-09-11 02:00 UTC
v2026.9.92204 from v2026.9.81827
Detected 2026-09-10 02:00 UTC
v2026.9.81827 from v2026.9.41719
Detected 2026-09-09 02:00 UTC
v2026.9.41719 from v2026.9.31947
Detected 2026-09-05 02:00 UTC
v2026.9.31947 from v2026.9.10040
Detected 2026-09-04 02:00 UTC
v2026.9.10040 from v2026.8.231203
Detected 2026-09-01 02:00 UTC
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-10-30 02:00:00 | 135,579 | v2026.10.280157 |
| 2026-10-29 02:00:00 | 135,163 | v2026.10.280157 |
| 2026-10-28 02:00:00 | 134,452 | v2026.10.280049 |
| 2026-10-27 02:00:00 | 132,207 | v2026.10.262322 |
| 2026-10-26 02:00:00 | 131,725 | v2026.10.240149 |
| 2026-10-25 02:00:00 | 131,411 | v2026.10.240149 |
| 2026-10-24 02:00:00 | 130,993 | v2026.10.240149 |
| 2026-10-23 02:00:00 | 130,346 | v2026.10.211531 |
| 2026-10-22 02:00:00 | 129,973 | v2026.10.211531 |
| 2026-10-21 02:00:00 | 129,357 | v2026.10.201840 |
| 2026-10-20 02:00:00 | 129,119 | v2026.10.151513 |
| 2026-10-19 02:00:00 | 128,949 | v2026.10.151513 |
| 2026-10-18 02:00:00 | 128,795 | v2026.10.151513 |
| 2026-10-17 02:00:00 | 128,689 | v2026.10.151513 |
| 2026-10-16 02:00:00 | 128,109 | v2026.10.151513 |
| 2026-10-15 02:00:00 | 127,613 | v2026.10.142303 |
| 2026-10-14 02:00:00 | 127,081 | v2026.10.131655 |
| 2026-10-13 02:00:00 | 125,443 | v2026.10.130127 |
| 2026-10-12 02:00:00 | 125,051 | v2026.10.91720 |
| 2026-10-11 02:00:00 | 124,817 | v2026.10.91720 |
| 2026-10-10 02:00:00 | 124,495 | v2026.10.91720 |
| 2026-10-09 02:00:00 | 124,185 | v2026.10.60203 |
| 2026-10-08 02:00:00 | 123,963 | v2026.10.60203 |
| 2026-10-07 02:00:00 | 123,701 | v2026.10.60203 |
| 2026-10-06 02:00:00 | 123,237 | v2026.10.52312 |
| 2026-10-05 02:00:00 | 122,083 | v2026.10.40313 |
| 2026-10-04 02:00:00 | 121,687 | v2026.10.32327 |
| 2026-10-03 02:00:00 | 121,077 | v2026.10.21648 |
| 2026-10-02 02:00:00 | 120,375 | v2026.10.11851 |
| 2026-10-01 02:00:00 | 118,493 | v2026.10.10139 |
| 2026-09-30 02:00:00 | 117,869 | v2026.9.251645 |
| 2026-09-29 02:00:00 | 117,660 | v2026.9.251645 |
| 2026-09-28 02:00:00 | 117,484 | v2026.9.251645 |
| 2026-09-27 02:00:00 | 117,422 | v2026.9.251645 |
| 2026-09-26 02:00:00 | 117,292 | v2026.9.251645 |
| 2026-09-25 02:00:00 | 116,030 | v2026.9.231554 |
| 2026-09-24 02:00:00 | 115,258 | v2026.9.231554 |
| 2026-09-23 02:00:00 | 114,524 | v2026.9.222232 |
| 2026-09-22 02:00:00 | 113,928 | v2026.9.191928 |
| 2026-09-21 02:00:00 | 113,782 | v2026.9.191928 |
| 2026-09-20 02:00:00 | 113,616 | v2026.9.191928 |
| 2026-09-19 02:00:00 | 113,134 | v2026.9.170333 |
| 2026-09-18 02:00:00 | 112,458 | v2026.9.170333 |
| 2026-09-17 02:00:00 | 111,107 | v2026.9.170003 |
| 2026-09-16 02:00:00 | 109,894 | v2026.9.151827 |
| 2026-09-15 11:36:37 | 108,749 | v2026.9.142123 |
| 2026-09-14 02:00:00 | 107,366 | v2026.9.120302 |
| 2026-09-13 02:00:00 | 107,186 | v2026.9.120302 |
| 2026-09-12 06:52:15 | 106,984 | v2026.9.120302 |
| 2026-09-11 02:00:00 | 106,336 | v2026.9.101924 |
| 2026-09-10 02:00:00 | 104,982 | v2026.9.92204 |
| 2026-09-09 02:00:00 | 102,856 | v2026.9.81827 |
| 2026-09-08 02:00:00 | 102,534 | v2026.9.41719 |
| 2026-09-07 02:00:00 | 102,463 | v2026.9.41719 |
| 2026-09-06 02:00:00 | 102,413 | v2026.9.41719 |
| 2026-09-05 02:00:00 | 101,715 | v2026.9.41719 |
| 2026-09-04 02:00:00 | 101,351 | v2026.9.31947 |
| 2026-09-03 02:00:00 | 100,965 | v2026.9.10040 |
| 2026-09-02 02:00:00 | 96,177 | v2026.9.10040 |
| 2026-09-01 02:00:00 | 95,111 | v2026.9.10040 |
| 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 |