Back to leaderboard
Formal modelsModelingPlusCalSpecificationTLA+TLCProgramming LanguagesSnippetsFormattersOther
Open VSX
Total downloads
3,249
Since yesterday
+6
Current version
v1.5.4
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 3,249 | v1.5.4 |
| 2026-07-02 02:00:00 | 3,243 | v1.5.4 |
| 2026-07-01 02:00:00 | 3,239 | v1.5.4 |
| 2026-06-30 02:00:00 | 3,235 | v1.5.4 |
| 2026-06-29 14:14:45 | 3,235 | v1.5.4 |
| 2026-06-28 07:06:24 | 3,233 | v1.5.4 |