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