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
146,756
Since yesterday
+4
Current version
v2024.8.1506
Days tracked
66
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 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 |