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
5,028
Since yesterday
+16
Current version
v0.0.15
Days tracked
65
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 5,028 | v0.0.15 |
| 2026-08-30 02:00:00 | 5,012 | v0.0.15 |
| 2026-08-29 02:00:00 | 5,012 | v0.0.15 |
| 2026-08-28 02:00:00 | 5,010 | v0.0.15 |
| 2026-08-27 02:00:00 | 5,004 | v0.0.15 |
| 2026-08-26 02:00:00 | 4,992 | v0.0.15 |
| 2026-08-25 02:00:00 | 4,988 | v0.0.15 |
| 2026-08-24 02:00:00 | 4,984 | v0.0.15 |
| 2026-08-23 02:00:00 | 4,980 | v0.0.15 |
| 2026-08-22 02:00:00 | 4,972 | v0.0.15 |
| 2026-08-21 02:00:00 | 4,970 | v0.0.15 |
| 2026-08-20 02:00:00 | 4,968 | v0.0.15 |
| 2026-08-19 02:00:00 | 4,966 | v0.0.15 |
| 2026-08-18 02:00:00 | 4,964 | v0.0.15 |
| 2026-08-17 02:00:00 | 4,962 | v0.0.15 |
| 2026-08-16 02:00:00 | 4,960 | v0.0.15 |
| 2026-08-15 02:00:00 | 4,958 | v0.0.15 |
| 2026-08-14 02:00:00 | 4,952 | v0.0.15 |
| 2026-08-13 02:00:00 | 4,950 | v0.0.15 |
| 2026-08-12 02:00:00 | 4,948 | v0.0.15 |
| 2026-08-11 02:00:00 | 4,944 | v0.0.15 |
| 2026-08-10 02:00:00 | 4,940 | v0.0.15 |
| 2026-08-09 02:00:00 | 4,930 | v0.0.15 |
| 2026-08-08 02:00:00 | 4,916 | v0.0.15 |
| 2026-08-07 02:00:00 | 4,914 | v0.0.15 |
| 2026-08-06 02:00:00 | 4,906 | v0.0.15 |
| 2026-08-05 02:00:00 | 4,902 | v0.0.15 |
| 2026-08-04 02:00:00 | 4,898 | v0.0.15 |
| 2026-08-03 02:00:00 | 4,892 | v0.0.15 |
| 2026-08-02 02:00:00 | 4,886 | v0.0.15 |
| 2026-08-01 02:00:00 | 4,880 | v0.0.15 |
| 2026-07-31 02:00:00 | 4,872 | v0.0.15 |
| 2026-07-30 02:00:00 | 4,866 | v0.0.15 |
| 2026-07-29 06:50:17 | 4,858 | v0.0.15 |
| 2026-07-28 02:00:00 | 4,850 | v0.0.15 |
| 2026-07-27 02:00:00 | 4,838 | v0.0.15 |
| 2026-07-26 02:00:00 | 4,832 | v0.0.15 |
| 2026-07-25 02:00:00 | 4,812 | v0.0.15 |
| 2026-07-24 02:00:00 | 4,804 | v0.0.15 |
| 2026-07-23 02:00:00 | 4,798 | v0.0.15 |
| 2026-07-22 02:00:00 | 4,790 | v0.0.15 |
| 2026-07-21 02:00:00 | 4,786 | v0.0.15 |
| 2026-07-20 02:00:00 | 4,780 | v0.0.15 |
| 2026-07-19 02:00:00 | 4,764 | v0.0.15 |
| 2026-07-18 02:00:00 | 4,756 | v0.0.15 |
| 2026-07-17 02:00:00 | 4,750 | v0.0.15 |
| 2026-07-16 02:00:00 | 4,708 | v0.0.15 |
| 2026-07-15 02:00:00 | 4,678 | v0.0.15 |
| 2026-07-14 02:00:00 | 4,676 | v0.0.15 |
| 2026-07-13 02:00:00 | 4,664 | v0.0.15 |
| 2026-07-12 02:00:00 | 4,658 | v0.0.15 |
| 2026-07-11 02:00:00 | 4,656 | v0.0.15 |
| 2026-07-10 02:00:00 | 4,650 | v0.0.15 |
| 2026-07-09 05:29:22 | 4,648 | v0.0.15 |
| 2026-07-08 02:00:00 | 4,646 | v0.0.15 |
| 2026-07-07 02:00:00 | 4,642 | v0.0.15 |
| 2026-07-06 02:00:00 | 4,640 | v0.0.15 |
| 2026-07-05 02:00:00 | 4,638 | v0.0.15 |
| 2026-07-04 02:00:00 | 4,638 | v0.0.15 |
| 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 |