Agda

bdrisc.agda2-vscode · by Benjamin DriscollVS Marketplace Not verifiedOpen VSX Verified

First Released:

Last Updated:

Interactive development for Agda

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 6, 2026, 22:01 UTC

Total installs460

7d growth18+4.1% over 7d

Community rating—Reviews unavailable

Latest version1.2.3Updated Aug 23, 2026

8 calculable days · 0 without calculable growth.

OPEN VSX

Last snapshot: Nov 6, 2026, 22:34 UTC

Total downloads2.5K

7d growth56+2.3% over 7d

Community rating—0 reviews

Latest version1.2.3Updated Aug 23, 2026

8 calculable days · 0 without calculable growth.

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
remote developmentKeyword · 2026-11-06 22:47 UTC	No observed result	#550 of 1,299 ↑7 1d↓5 7d

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.