Back to leaderboard 
TLA+ Nightly
alygin.vscode-tlaplus-nightly
TLA+ language support (Nightly)
__ext_cfg__ext_out__ext_tla__web_extensiondebuggersFormal modelsModelingPlusCalsnippetSpecificationTLA+tlaplustlaplus_cfgtlaplus_outTLCProgramming LanguagesSnippetsFormattersOtherDebuggers
Open VSX
Total downloads
153,627
Since yesterday
+6
Current version
v2024.8.1506
Days tracked
126
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 153,627 | v2024.8.1506 |
| 2026-10-29 02:00:00 | 153,621 | v2024.8.1506 |
| 2026-10-28 02:00:00 | 152,087 | v2024.8.1506 |
| 2026-10-27 02:00:00 | 152,079 | v2024.8.1506 |
| 2026-10-26 02:00:00 | 152,071 | v2024.8.1506 |
| 2026-10-25 02:00:00 | 152,063 | v2024.8.1506 |
| 2026-10-24 02:00:00 | 152,059 | v2024.8.1506 |
| 2026-10-23 02:00:00 | 152,047 | v2024.8.1506 |
| 2026-10-22 02:00:00 | 152,037 | v2024.8.1506 |
| 2026-10-21 02:00:00 | 152,023 | v2024.8.1506 |
| 2026-10-20 02:00:00 | 151,991 | v2024.8.1506 |
| 2026-10-19 02:00:00 | 151,981 | v2024.8.1506 |
| 2026-10-18 02:00:00 | 151,975 | v2024.8.1506 |
| 2026-10-17 02:00:00 | 151,971 | v2024.8.1506 |
| 2026-10-16 02:00:00 | 151,963 | v2024.8.1506 |
| 2026-10-15 02:00:00 | 151,957 | v2024.8.1506 |
| 2026-10-14 02:00:00 | 151,951 | v2024.8.1506 |
| 2026-10-13 02:00:00 | 151,943 | v2024.8.1506 |
| 2026-10-12 02:00:00 | 151,933 | v2024.8.1506 |
| 2026-10-11 02:00:00 | 151,927 | v2024.8.1506 |
| 2026-10-10 02:00:00 | 151,919 | v2024.8.1506 |
| 2026-10-09 02:00:00 | 151,915 | v2024.8.1506 |
| 2026-10-08 02:00:00 | 151,911 | v2024.8.1506 |
| 2026-10-07 02:00:00 | 151,905 | v2024.8.1506 |
| 2026-10-06 02:00:00 | 151,897 | v2024.8.1506 |
| 2026-10-05 02:00:00 | 151,895 | v2024.8.1506 |
| 2026-10-04 02:00:00 | 151,891 | v2024.8.1506 |
| 2026-10-03 02:00:00 | 151,887 | v2024.8.1506 |
| 2026-10-02 02:00:00 | 151,871 | v2024.8.1506 |
| 2026-10-01 02:00:00 | 151,534 | v2024.8.1506 |
| 2026-09-30 02:00:00 | 151,346 | v2024.8.1506 |
| 2026-09-29 02:00:00 | 151,342 | v2024.8.1506 |
| 2026-09-28 02:00:00 | 151,340 | v2024.8.1506 |
| 2026-09-27 02:00:00 | 151,334 | v2024.8.1506 |
| 2026-09-26 02:00:00 | 151,326 | v2024.8.1506 |
| 2026-09-25 02:00:00 | 151,324 | v2024.8.1506 |
| 2026-09-24 02:00:00 | 150,314 | v2024.8.1506 |
| 2026-09-23 02:00:00 | 148,446 | v2024.8.1506 |
| 2026-09-22 02:00:00 | 148,438 | v2024.8.1506 |
| 2026-09-21 02:00:00 | 148,434 | v2024.8.1506 |
| 2026-09-20 02:00:00 | 148,426 | v2024.8.1506 |
| 2026-09-19 02:00:00 | 148,416 | v2024.8.1506 |
| 2026-09-18 02:00:00 | 148,410 | v2024.8.1506 |
| 2026-09-17 02:00:00 | 148,404 | v2024.8.1506 |
| 2026-09-16 02:00:00 | 146,870 | v2024.8.1506 |
| 2026-09-15 11:36:37 | 146,868 | v2024.8.1506 |
| 2026-09-14 02:00:00 | 146,860 | v2024.8.1506 |
| 2026-09-13 02:00:00 | 146,854 | v2024.8.1506 |
| 2026-09-12 06:52:15 | 146,850 | v2024.8.1506 |
| 2026-09-11 02:00:00 | 146,844 | v2024.8.1506 |
| 2026-09-10 02:00:00 | 146,838 | v2024.8.1506 |
| 2026-09-09 02:00:00 | 146,834 | v2024.8.1506 |
| 2026-09-08 02:00:00 | 146,828 | v2024.8.1506 |
| 2026-09-07 02:00:00 | 146,822 | v2024.8.1506 |
| 2026-09-06 02:00:00 | 146,816 | v2024.8.1506 |
| 2026-09-05 02:00:00 | 146,808 | v2024.8.1506 |
| 2026-09-04 02:00:00 | 146,804 | v2024.8.1506 |
| 2026-09-03 02:00:00 | 146,800 | v2024.8.1506 |
| 2026-09-02 02:00:00 | 146,786 | v2024.8.1506 |
| 2026-09-01 02:00:00 | 146,764 | v2024.8.1506 |
| 2026-08-31 02:00:00 | 146,756 | v2024.8.1506 |
| 2026-08-30 02:00:00 | 146,752 | v2024.8.1506 |
| 2026-08-29 02:00:00 | 146,740 | v2024.8.1506 |
| 2026-08-28 02:00:00 | 146,736 | v2024.8.1506 |
| 2026-08-27 02:00:00 | 146,730 | v2024.8.1506 |
| 2026-08-26 02:00:00 | 146,714 | v2024.8.1506 |
| 2026-08-25 02:00:00 | 146,538 | v2024.8.1506 |
| 2026-08-24 02:00:00 | 146,528 | v2024.8.1506 |
| 2026-08-23 02:00:00 | 146,522 | v2024.8.1506 |
| 2026-08-22 02:00:00 | 146,516 | v2024.8.1506 |
| 2026-08-21 02:00:00 | 146,512 | v2024.8.1506 |
| 2026-08-20 02:00:00 | 146,508 | v2024.8.1506 |
| 2026-08-19 02:00:00 | 146,504 | v2024.8.1506 |
| 2026-08-18 02:00:00 | 146,498 | v2024.8.1506 |
| 2026-08-17 02:00:00 | 146,494 | v2024.8.1506 |
| 2026-08-16 02:00:00 | 146,488 | v2024.8.1506 |
| 2026-08-15 02:00:00 | 146,484 | v2024.8.1506 |
| 2026-08-14 02:00:00 | 146,478 | v2024.8.1506 |
| 2026-08-13 02:00:00 | 146,474 | v2024.8.1506 |
| 2026-08-12 02:00:00 | 146,470 | v2024.8.1506 |
| 2026-08-11 02:00:00 | 146,466 | v2024.8.1506 |
| 2026-08-10 02:00:00 | 146,462 | v2024.8.1506 |
| 2026-08-09 02:00:00 | 146,456 | v2024.8.1506 |
| 2026-08-08 02:00:00 | 146,450 | v2024.8.1506 |
| 2026-08-07 02:00:00 | 146,438 | v2024.8.1506 |
| 2026-08-06 02:00:00 | 146,430 | v2024.8.1506 |
| 2026-08-05 02:00:00 | 146,424 | v2024.8.1506 |
| 2026-08-04 02:00:00 | 146,416 | v2024.8.1506 |
| 2026-08-03 02:00:00 | 146,408 | v2024.8.1506 |
| 2026-08-02 02:00:00 | 146,398 | v2024.8.1506 |
| 2026-08-01 02:00:00 | 146,390 | v2024.8.1506 |
| 2026-07-31 02:00:00 | 146,380 | v2024.8.1506 |
| 2026-07-30 02:00:00 | 146,374 | v2024.8.1506 |
| 2026-07-29 06:50:17 | 146,370 | v2024.8.1506 |
| 2026-07-28 02:00:00 | 146,328 | v2024.8.1506 |
| 2026-07-27 02:00:00 | 146,312 | v2024.8.1506 |
| 2026-07-26 02:00:00 | 146,268 | v2024.8.1506 |
| 2026-07-25 02:00:00 | 146,246 | v2024.8.1506 |
| 2026-07-24 02:00:00 | 146,224 | v2024.8.1506 |
| 2026-07-23 02:00:00 | 146,206 | v2024.8.1506 |
| 2026-07-22 02:00:00 | 146,182 | v2024.8.1506 |
| 2026-07-21 02:00:00 | 146,162 | v2024.8.1506 |
| 2026-07-20 02:00:00 | 146,124 | v2024.8.1506 |
| 2026-07-19 02:00:00 | 146,082 | v2024.8.1506 |
| 2026-07-18 02:00:00 | 146,042 | v2024.8.1506 |
| 2026-07-17 02:00:00 | 146,018 | v2024.8.1506 |
| 2026-07-16 02:00:00 | 146,004 | v2024.8.1506 |
| 2026-07-15 02:00:00 | 145,600 | v2024.8.1506 |
| 2026-07-14 02:00:00 | 144,996 | v2024.8.1506 |
| 2026-07-13 02:00:00 | 144,978 | v2024.8.1506 |
| 2026-07-12 02:00:00 | 144,968 | v2024.8.1506 |
| 2026-07-11 02:00:00 | 144,916 | v2024.8.1506 |
| 2026-07-10 02:00:00 | 144,906 | v2024.8.1506 |
| 2026-07-09 05:29:22 | 144,900 | v2024.8.1506 |
| 2026-07-08 02:00:00 | 144,894 | v2024.8.1506 |
| 2026-07-07 02:00:00 | 144,886 | v2024.8.1506 |
| 2026-07-06 02:00:00 | 144,880 | v2024.8.1506 |
| 2026-07-05 02:00:00 | 144,874 | v2024.8.1506 |
| 2026-07-04 02:00:00 | 144,868 | v2024.8.1506 |
| 2026-07-04 02:00:00 | 144,868 | v2024.8.1506 |
| 2026-07-03 08:30:39 | 144,864 | v2024.8.1506 |
| 2026-07-02 02:00:00 | 144,858 | v2024.8.1506 |
| 2026-07-01 02:00:00 | 144,854 | v2024.8.1506 |
| 2026-06-30 02:00:00 | 144,848 | v2024.8.1506 |
| 2026-06-29 14:14:45 | 144,846 | v2024.8.1506 |
| 2026-06-28 07:06:24 | 144,838 | v2024.8.1506 |