Back to leaderboard
__ext_agda__ext_lagda__ext_lagdamd__ext_lagdaorg__ext_lagdarst__ext_lagdatex__ext_lagdatree__ext_lagdatyp__ext_md__ext_org__ext_tree__ext_typ__web_extensionagdaforesterkeybindingslagda-foresterlagda-markdownlagda-orglagda-rstlagda-texlagda-typstLiterate Agda (forester)Literate Agda (markdown)Literate Agda (Org)Literate Agda (reStructuredText)Literate Agda (TeX)Literate Agda (Typst)markdownorgtypstOther
Open VSX
Total downloads
33,729
Since yesterday
+12
Current version
v0.10.1
Days tracked
65
Download history
Version history
v0.10.1 from v0.10.0
Detected 2026-08-16 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 33,729 | v0.10.1 |
| 2026-08-30 02:00:00 | 33,717 | v0.10.1 |
| 2026-08-29 02:00:00 | 33,701 | v0.10.1 |
| 2026-08-28 02:00:00 | 33,683 | v0.10.1 |
| 2026-08-27 02:00:00 | 33,661 | v0.10.1 |
| 2026-08-26 02:00:00 | 33,631 | v0.10.1 |
| 2026-08-25 02:00:00 | 33,615 | v0.10.1 |
| 2026-08-24 02:00:00 | 33,601 | v0.10.1 |
| 2026-08-23 02:00:00 | 33,571 | v0.10.1 |
| 2026-08-22 02:00:00 | 33,551 | v0.10.1 |
| 2026-08-21 02:00:00 | 33,533 | v0.10.1 |
| 2026-08-20 02:00:00 | 33,513 | v0.10.1 |
| 2026-08-19 02:00:00 | 33,483 | v0.10.1 |
| 2026-08-18 02:00:00 | 33,447 | v0.10.1 |
| 2026-08-17 02:00:00 | 33,335 | v0.10.1 |
| 2026-08-16 02:00:00 | 33,267 | v0.10.1 |
| 2026-08-15 02:00:00 | 32,921 | v0.10.0 |
| 2026-08-14 02:00:00 | 32,911 | v0.10.0 |
| 2026-08-13 02:00:00 | 32,903 | v0.10.0 |
| 2026-08-12 02:00:00 | 32,897 | v0.10.0 |
| 2026-08-11 02:00:00 | 32,891 | v0.10.0 |
| 2026-08-10 02:00:00 | 32,883 | v0.10.0 |
| 2026-08-09 02:00:00 | 32,871 | v0.10.0 |
| 2026-08-08 02:00:00 | 32,859 | v0.10.0 |
| 2026-08-07 02:00:00 | 32,853 | v0.10.0 |
| 2026-08-06 02:00:00 | 32,833 | v0.10.0 |
| 2026-08-05 02:00:00 | 32,819 | v0.10.0 |
| 2026-08-04 02:00:00 | 32,803 | v0.10.0 |
| 2026-08-03 02:00:00 | 32,787 | v0.10.0 |
| 2026-08-02 02:00:00 | 32,771 | v0.10.0 |
| 2026-08-01 02:00:00 | 32,763 | v0.10.0 |
| 2026-07-31 02:00:00 | 32,753 | v0.10.0 |
| 2026-07-30 02:00:00 | 32,745 | v0.10.0 |
| 2026-07-29 06:50:17 | 32,737 | v0.10.0 |
| 2026-07-28 02:00:00 | 32,717 | v0.10.0 |
| 2026-07-27 02:00:00 | 32,699 | v0.10.0 |
| 2026-07-26 02:00:00 | 32,651 | v0.10.0 |
| 2026-07-25 02:00:00 | 32,621 | v0.10.0 |
| 2026-07-24 02:00:00 | 32,597 | v0.10.0 |
| 2026-07-23 02:00:00 | 32,575 | v0.10.0 |
| 2026-07-22 02:00:00 | 32,549 | v0.10.0 |
| 2026-07-21 02:00:00 | 32,523 | v0.10.0 |
| 2026-07-20 02:00:00 | 32,505 | v0.10.0 |
| 2026-07-19 02:00:00 | 32,471 | v0.10.0 |
| 2026-07-18 02:00:00 | 32,447 | v0.10.0 |
| 2026-07-17 02:00:00 | 32,417 | v0.10.0 |
| 2026-07-16 02:00:00 | 32,403 | v0.10.0 |
| 2026-07-15 02:00:00 | 32,391 | v0.10.0 |
| 2026-07-14 02:00:00 | 31,851 | v0.10.0 |
| 2026-07-13 02:00:00 | 31,489 | v0.10.0 |
| 2026-07-12 02:00:00 | 31,475 | v0.10.0 |
| 2026-07-11 02:00:00 | 31,465 | v0.10.0 |
| 2026-07-10 02:00:00 | 31,451 | v0.10.0 |
| 2026-07-09 05:29:22 | 31,443 | v0.10.0 |
| 2026-07-08 02:00:00 | 31,429 | v0.10.0 |
| 2026-07-07 02:00:00 | 31,421 | v0.10.0 |
| 2026-07-06 02:00:00 | 31,409 | v0.10.0 |
| 2026-07-05 02:00:00 | 31,403 | v0.10.0 |
| 2026-07-04 02:00:00 | 31,395 | v0.10.0 |
| 2026-07-03 08:30:39 | 31,379 | v0.10.0 |
| 2026-07-02 02:00:00 | 31,353 | v0.10.0 |
| 2026-07-01 02:00:00 | 31,345 | v0.10.0 |
| 2026-06-30 02:00:00 | 31,325 | v0.10.0 |
| 2026-06-29 14:14:45 | 31,323 | v0.10.0 |
| 2026-06-28 07:06:24 | 31,309 | v0.10.0 |