Back to leaderboard
agda-mode icon

agda-mode

banacorn.agda-mode

agda-mode on vscode

__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 DLsVersion
2026-07-03 08:30:3931,379v0.10.0
2026-07-02 02:00:0031,353v0.10.0
2026-07-01 02:00:0031,345v0.10.0
2026-06-30 02:00:0031,325v0.10.0
2026-06-29 14:14:4531,323v0.10.0
2026-06-28 07:06:2431,309v0.10.0