Back to leaderboard
Idris Language
meraymond.idris-vscode
Language support for Idris and Idris 2.
__ext_idr__ext_ipkg__ext_lidridrisidris-markdownipkglidrLiterate IdrisProgramming Languages
Open VSX
Total downloads
4,632
Since yesterday
+2
Current version
v0.0.15
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 4,632 | v0.0.15 |
| 2026-07-02 02:00:00 | 4,630 | v0.0.15 |
| 2026-07-01 02:00:00 | 4,626 | v0.0.15 |
| 2026-06-30 02:00:00 | 4,624 | v0.0.15 |
| 2026-06-29 14:14:45 | 4,624 | v0.0.15 |
| 2026-06-28 07:06:24 | 4,618 | v0.0.15 |