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,334
Since yesterday
+2
Current version
v0.0.15
Days tracked
125
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 5,334 | v0.0.15 |
| 2026-10-29 02:00:00 | 5,332 | v0.0.15 |
| 2026-10-28 02:00:00 | 5,316 | v0.0.15 |
| 2026-10-27 02:00:00 | 5,316 | v0.0.15 |
| 2026-10-26 02:00:00 | 5,314 | v0.0.15 |
| 2026-10-25 02:00:00 | 5,304 | v0.0.15 |
| 2026-10-24 02:00:00 | 5,298 | v0.0.15 |
| 2026-10-23 02:00:00 | 5,290 | v0.0.15 |
| 2026-10-22 02:00:00 | 5,286 | v0.0.15 |
| 2026-10-21 02:00:00 | 5,280 | v0.0.15 |
| 2026-10-20 02:00:00 | 5,270 | v0.0.15 |
| 2026-10-19 02:00:00 | 5,250 | v0.0.15 |
| 2026-10-18 02:00:00 | 5,246 | v0.0.15 |
| 2026-10-17 02:00:00 | 5,244 | v0.0.15 |
| 2026-10-16 02:00:00 | 5,242 | v0.0.15 |
| 2026-10-15 02:00:00 | 5,240 | v0.0.15 |
| 2026-10-14 02:00:00 | 5,238 | v0.0.15 |
| 2026-10-13 02:00:00 | 5,214 | v0.0.15 |
| 2026-10-12 02:00:00 | 5,210 | v0.0.15 |
| 2026-10-11 02:00:00 | 5,204 | v0.0.15 |
| 2026-10-10 02:00:00 | 5,198 | v0.0.15 |
| 2026-10-09 02:00:00 | 5,192 | v0.0.15 |
| 2026-10-08 02:00:00 | 5,188 | v0.0.15 |
| 2026-10-07 02:00:00 | 5,184 | v0.0.15 |
| 2026-10-06 02:00:00 | 5,178 | v0.0.15 |
| 2026-10-05 02:00:00 | 5,176 | v0.0.15 |
| 2026-10-04 02:00:00 | 5,172 | v0.0.15 |
| 2026-10-03 02:00:00 | 5,168 | v0.0.15 |
| 2026-10-02 02:00:00 | 5,166 | v0.0.15 |
| 2026-10-01 02:00:00 | 5,162 | v0.0.15 |
| 2026-09-30 02:00:00 | 5,156 | v0.0.15 |
| 2026-09-29 02:00:00 | 5,154 | v0.0.15 |
| 2026-09-28 02:00:00 | 5,152 | v0.0.15 |
| 2026-09-27 02:00:00 | 5,148 | v0.0.15 |
| 2026-09-26 02:00:00 | 5,144 | v0.0.15 |
| 2026-09-25 02:00:00 | 5,142 | v0.0.15 |
| 2026-09-24 02:00:00 | 5,140 | v0.0.15 |
| 2026-09-23 02:00:00 | 5,138 | v0.0.15 |
| 2026-09-22 02:00:00 | 5,120 | v0.0.15 |
| 2026-09-21 02:00:00 | 5,118 | v0.0.15 |
| 2026-09-20 02:00:00 | 5,110 | v0.0.15 |
| 2026-09-19 02:00:00 | 5,108 | v0.0.15 |
| 2026-09-18 02:00:00 | 5,106 | v0.0.15 |
| 2026-09-17 02:00:00 | 5,104 | v0.0.15 |
| 2026-09-16 02:00:00 | 5,102 | v0.0.15 |
| 2026-09-15 11:36:37 | 5,088 | v0.0.15 |
| 2026-09-14 02:00:00 | 5,082 | v0.0.15 |
| 2026-09-13 02:00:00 | 5,076 | v0.0.15 |
| 2026-09-12 06:52:15 | 5,072 | v0.0.15 |
| 2026-09-11 02:00:00 | 5,068 | v0.0.15 |
| 2026-09-10 02:00:00 | 5,066 | v0.0.15 |
| 2026-09-09 02:00:00 | 5,058 | v0.0.15 |
| 2026-09-08 02:00:00 | 5,052 | v0.0.15 |
| 2026-09-07 02:00:00 | 5,046 | v0.0.15 |
| 2026-09-06 02:00:00 | 5,044 | v0.0.15 |
| 2026-09-05 02:00:00 | 5,042 | v0.0.15 |
| 2026-09-04 02:00:00 | 5,040 | v0.0.15 |
| 2026-09-03 02:00:00 | 5,038 | v0.0.15 |
| 2026-09-02 02:00:00 | 5,036 | v0.0.15 |
| 2026-09-01 02:00:00 | 5,032 | v0.0.15 |
| 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 |