Open VSX Tracker
Back to leaderboard
agda-mode icon

agda-mode

banacorn.agda-mode

agda-mode on vscode

Open VSX Repository Homepage Issues
__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
42,677
Since yesterday
+304
Current version
v0.10.10
Days tracked
125

Download history

Version history

v0.10.10 from v0.10.9
Detected 2026-10-30 02:00 UTC
v0.10.9 from v0.10.8
Detected 2026-10-20 02:00 UTC
v0.10.8 from v0.10.6
Detected 2026-10-16 02:00 UTC
v0.10.6 from v0.10.5
Detected 2026-10-13 02:00 UTC
v0.10.5 from v0.10.4
Detected 2026-10-09 02:00 UTC
v0.10.4 from v0.10.3
Detected 2026-10-06 02:00 UTC
v0.10.3 from v0.10.2
Detected 2026-09-27 02:00 UTC
v0.10.2 from v0.10.1
Detected 2026-09-03 02:00 UTC
v0.10.1 from v0.10.0
Detected 2026-08-16 02:00 UTC

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:0042,677v0.10.10
2026-10-29 02:00:0042,373v0.10.9
2026-10-28 02:00:0042,321v0.10.9
2026-10-27 02:00:0042,073v0.10.9
2026-10-26 02:00:0042,041v0.10.9
2026-10-25 02:00:0042,005v0.10.9
2026-10-24 02:00:0041,937v0.10.9
2026-10-23 02:00:0041,807v0.10.9
2026-10-22 02:00:0041,661v0.10.9
2026-10-21 02:00:0041,543v0.10.9
2026-10-20 02:00:0041,383v0.10.9
2026-10-19 02:00:0041,127v0.10.8
2026-10-18 02:00:0041,001v0.10.8
2026-10-17 02:00:0040,907v0.10.8
2026-10-16 02:00:0040,823v0.10.8
2026-10-15 02:00:0040,493v0.10.6
2026-10-14 02:00:0040,379v0.10.6
2026-10-13 02:00:0040,297v0.10.6
2026-10-12 02:00:0040,105v0.10.5
2026-10-11 02:00:0040,051v0.10.5
2026-10-10 02:00:0039,925v0.10.5
2026-10-09 02:00:0039,763v0.10.5
2026-10-08 02:00:0038,803v0.10.4
2026-10-07 02:00:0038,693v0.10.4
2026-10-06 02:00:0038,587v0.10.4
2026-10-05 02:00:0038,247v0.10.3
2026-10-04 02:00:0037,749v0.10.3
2026-10-03 02:00:0037,225v0.10.3
2026-10-02 02:00:0036,675v0.10.3
2026-10-01 02:00:0036,147v0.10.3
2026-09-30 02:00:0036,113v0.10.3
2026-09-29 02:00:0035,877v0.10.3
2026-09-28 02:00:0035,739v0.10.3
2026-09-27 02:00:0035,507v0.10.3
2026-09-26 02:00:0035,121v0.10.2
2026-09-25 02:00:0035,115v0.10.2
2026-09-24 02:00:0035,099v0.10.2
2026-09-23 02:00:0035,085v0.10.2
2026-09-22 02:00:0034,887v0.10.2
2026-09-21 02:00:0034,869v0.10.2
2026-09-20 02:00:0034,851v0.10.2
2026-09-19 02:00:0034,831v0.10.2
2026-09-18 02:00:0034,811v0.10.2
2026-09-17 02:00:0034,801v0.10.2
2026-09-16 02:00:0034,783v0.10.2
2026-09-15 11:36:3734,591v0.10.2
2026-09-14 02:00:0034,573v0.10.2
2026-09-13 02:00:0034,553v0.10.2
2026-09-12 06:52:1534,531v0.10.2
2026-09-11 02:00:0034,511v0.10.2
2026-09-10 02:00:0034,497v0.10.2
2026-09-09 02:00:0034,473v0.10.2
2026-09-08 02:00:0034,429v0.10.2
2026-09-07 02:00:0034,349v0.10.2
2026-09-06 02:00:0034,317v0.10.2
2026-09-05 02:00:0034,229v0.10.2
2026-09-04 02:00:0034,169v0.10.2
2026-09-03 02:00:0033,775v0.10.2
2026-09-02 02:00:0033,759v0.10.1
2026-09-01 02:00:0033,745v0.10.1
2026-08-31 02:00:0033,729v0.10.1
2026-08-30 02:00:0033,717v0.10.1
2026-08-29 02:00:0033,701v0.10.1
2026-08-28 02:00:0033,683v0.10.1
2026-08-27 02:00:0033,661v0.10.1
2026-08-26 02:00:0033,631v0.10.1
2026-08-25 02:00:0033,615v0.10.1
2026-08-24 02:00:0033,601v0.10.1
2026-08-23 02:00:0033,571v0.10.1
2026-08-22 02:00:0033,551v0.10.1
2026-08-21 02:00:0033,533v0.10.1
2026-08-20 02:00:0033,513v0.10.1
2026-08-19 02:00:0033,483v0.10.1
2026-08-18 02:00:0033,447v0.10.1
2026-08-17 02:00:0033,335v0.10.1
2026-08-16 02:00:0033,267v0.10.1
2026-08-15 02:00:0032,921v0.10.0
2026-08-14 02:00:0032,911v0.10.0
2026-08-13 02:00:0032,903v0.10.0
2026-08-12 02:00:0032,897v0.10.0
2026-08-11 02:00:0032,891v0.10.0
2026-08-10 02:00:0032,883v0.10.0
2026-08-09 02:00:0032,871v0.10.0
2026-08-08 02:00:0032,859v0.10.0
2026-08-07 02:00:0032,853v0.10.0
2026-08-06 02:00:0032,833v0.10.0
2026-08-05 02:00:0032,819v0.10.0
2026-08-04 02:00:0032,803v0.10.0
2026-08-03 02:00:0032,787v0.10.0
2026-08-02 02:00:0032,771v0.10.0
2026-08-01 02:00:0032,763v0.10.0
2026-07-31 02:00:0032,753v0.10.0
2026-07-30 02:00:0032,745v0.10.0
2026-07-29 06:50:1732,737v0.10.0
2026-07-28 02:00:0032,717v0.10.0
2026-07-27 02:00:0032,699v0.10.0
2026-07-26 02:00:0032,651v0.10.0
2026-07-25 02:00:0032,621v0.10.0
2026-07-24 02:00:0032,597v0.10.0
2026-07-23 02:00:0032,575v0.10.0
2026-07-22 02:00:0032,549v0.10.0
2026-07-21 02:00:0032,523v0.10.0
2026-07-20 02:00:0032,505v0.10.0
2026-07-19 02:00:0032,471v0.10.0
2026-07-18 02:00:0032,447v0.10.0
2026-07-17 02:00:0032,417v0.10.0
2026-07-16 02:00:0032,403v0.10.0
2026-07-15 02:00:0032,391v0.10.0
2026-07-14 02:00:0031,851v0.10.0
2026-07-13 02:00:0031,489v0.10.0
2026-07-12 02:00:0031,475v0.10.0
2026-07-11 02:00:0031,465v0.10.0
2026-07-10 02:00:0031,451v0.10.0
2026-07-09 05:29:2231,443v0.10.0
2026-07-08 02:00:0031,429v0.10.0
2026-07-07 02:00:0031,421v0.10.0
2026-07-06 02:00:0031,409v0.10.0
2026-07-05 02:00:0031,403v0.10.0
2026-07-04 02:00:0031,395v0.10.0
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