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
31,379
Since yesterday
+26
Current version
v0.10.0
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 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 |