Back to leaderboard
Formal modelsModelingPlusCalSpecificationTLA+TLCProgramming LanguagesSnippetsFormattersOther
Open VSX
Total downloads
3,587
Since yesterday
+6
Current version
v1.5.4
Days tracked
65
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 3,587 | v1.5.4 |
| 2026-08-30 02:00:00 | 3,581 | v1.5.4 |
| 2026-08-29 02:00:00 | 3,579 | v1.5.4 |
| 2026-08-28 02:00:00 | 3,569 | v1.5.4 |
| 2026-08-27 02:00:00 | 3,565 | v1.5.4 |
| 2026-08-26 02:00:00 | 3,553 | v1.5.4 |
| 2026-08-25 02:00:00 | 3,551 | v1.5.4 |
| 2026-08-24 02:00:00 | 3,549 | v1.5.4 |
| 2026-08-23 02:00:00 | 3,543 | v1.5.4 |
| 2026-08-22 02:00:00 | 3,541 | v1.5.4 |
| 2026-08-21 02:00:00 | 3,539 | v1.5.4 |
| 2026-08-20 02:00:00 | 3,537 | v1.5.4 |
| 2026-08-19 02:00:00 | 3,535 | v1.5.4 |
| 2026-08-18 02:00:00 | 3,533 | v1.5.4 |
| 2026-08-17 02:00:00 | 3,531 | v1.5.4 |
| 2026-08-16 02:00:00 | 3,529 | v1.5.4 |
| 2026-08-15 02:00:00 | 3,527 | v1.5.4 |
| 2026-08-14 02:00:00 | 3,523 | v1.5.4 |
| 2026-08-13 02:00:00 | 3,523 | v1.5.4 |
| 2026-08-12 02:00:00 | 3,519 | v1.5.4 |
| 2026-08-11 02:00:00 | 3,517 | v1.5.4 |
| 2026-08-10 02:00:00 | 3,515 | v1.5.4 |
| 2026-08-09 02:00:00 | 3,513 | v1.5.4 |
| 2026-08-08 02:00:00 | 3,511 | v1.5.4 |
| 2026-08-07 02:00:00 | 3,499 | v1.5.4 |
| 2026-08-06 02:00:00 | 3,491 | v1.5.4 |
| 2026-08-05 02:00:00 | 3,485 | v1.5.4 |
| 2026-08-04 02:00:00 | 3,483 | v1.5.4 |
| 2026-08-03 02:00:00 | 3,473 | v1.5.4 |
| 2026-08-02 02:00:00 | 3,465 | v1.5.4 |
| 2026-08-01 02:00:00 | 3,459 | v1.5.4 |
| 2026-07-31 02:00:00 | 3,453 | v1.5.4 |
| 2026-07-30 02:00:00 | 3,445 | v1.5.4 |
| 2026-07-29 06:50:17 | 3,439 | v1.5.4 |
| 2026-07-28 02:00:00 | 3,429 | v1.5.4 |
| 2026-07-27 02:00:00 | 3,417 | v1.5.4 |
| 2026-07-26 02:00:00 | 3,413 | v1.5.4 |
| 2026-07-25 02:00:00 | 3,409 | v1.5.4 |
| 2026-07-24 02:00:00 | 3,399 | v1.5.4 |
| 2026-07-23 02:00:00 | 3,391 | v1.5.4 |
| 2026-07-22 02:00:00 | 3,387 | v1.5.4 |
| 2026-07-21 02:00:00 | 3,379 | v1.5.4 |
| 2026-07-20 02:00:00 | 3,369 | v1.5.4 |
| 2026-07-19 02:00:00 | 3,365 | v1.5.4 |
| 2026-07-18 02:00:00 | 3,363 | v1.5.4 |
| 2026-07-17 02:00:00 | 3,359 | v1.5.4 |
| 2026-07-16 02:00:00 | 3,325 | v1.5.4 |
| 2026-07-15 02:00:00 | 3,303 | v1.5.4 |
| 2026-07-14 02:00:00 | 3,301 | v1.5.4 |
| 2026-07-13 02:00:00 | 3,287 | v1.5.4 |
| 2026-07-12 02:00:00 | 3,281 | v1.5.4 |
| 2026-07-11 02:00:00 | 3,281 | v1.5.4 |
| 2026-07-10 02:00:00 | 3,277 | v1.5.4 |
| 2026-07-09 05:29:22 | 3,275 | v1.5.4 |
| 2026-07-08 02:00:00 | 3,271 | v1.5.4 |
| 2026-07-07 02:00:00 | 3,267 | v1.5.4 |
| 2026-07-06 02:00:00 | 3,263 | v1.5.4 |
| 2026-07-05 02:00:00 | 3,261 | v1.5.4 |
| 2026-07-04 02:00:00 | 3,253 | v1.5.4 |
| 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 |