Back to leaderboard
Agda Language Server WASM Loader
qbane.als-wasm-loader
WebAssembly loader and runtime for Agda Language Server
__web_extension
Open VSX
Total downloads
7,160
Since yesterday
+2
Current version
v0.8.5
Days tracked
66
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 7,160 | v0.8.5 |
| 2026-08-30 02:00:00 | 7,158 | v0.8.5 |
| 2026-08-29 02:00:00 | 7,154 | v0.8.5 |
| 2026-08-28 02:00:00 | 7,152 | v0.8.5 |
| 2026-08-27 02:00:00 | 7,148 | v0.8.5 |
| 2026-08-26 02:00:00 | 7,138 | v0.8.5 |
| 2026-08-25 02:00:00 | 7,136 | v0.8.5 |
| 2026-08-24 02:00:00 | 7,132 | v0.8.5 |
| 2026-08-23 02:00:00 | 7,128 | v0.8.5 |
| 2026-08-22 02:00:00 | 7,122 | v0.8.5 |
| 2026-08-21 02:00:00 | 7,116 | v0.8.5 |
| 2026-08-20 02:00:00 | 7,114 | v0.8.5 |
| 2026-08-19 02:00:00 | 7,112 | v0.8.5 |
| 2026-08-18 02:00:00 | 7,110 | v0.8.5 |
| 2026-08-17 02:00:00 | 7,108 | v0.8.5 |
| 2026-08-16 02:00:00 | 7,106 | v0.8.5 |
| 2026-08-15 02:00:00 | 7,100 | v0.8.5 |
| 2026-08-14 02:00:00 | 7,096 | v0.8.5 |
| 2026-08-13 02:00:00 | 7,092 | v0.8.5 |
| 2026-08-12 02:00:00 | 7,090 | v0.8.5 |
| 2026-08-11 02:00:00 | 7,088 | v0.8.5 |
| 2026-08-10 02:00:00 | 7,080 | v0.8.5 |
| 2026-08-09 02:00:00 | 7,078 | v0.8.5 |
| 2026-08-08 02:00:00 | 7,074 | v0.8.5 |
| 2026-08-07 02:00:00 | 7,072 | v0.8.5 |
| 2026-08-06 02:00:00 | 7,064 | v0.8.5 |
| 2026-08-05 02:00:00 | 7,056 | v0.8.5 |
| 2026-08-04 02:00:00 | 7,048 | v0.8.5 |
| 2026-08-03 02:00:00 | 7,038 | v0.8.5 |
| 2026-08-02 02:00:00 | 7,032 | v0.8.5 |
| 2026-08-01 02:00:00 | 7,022 | v0.8.5 |
| 2026-07-31 02:00:00 | 7,012 | v0.8.5 |
| 2026-07-30 02:00:00 | 7,004 | v0.8.5 |
| 2026-07-29 06:50:17 | 6,998 | v0.8.5 |
| 2026-07-28 02:00:00 | 6,990 | v0.8.5 |
| 2026-07-27 02:00:00 | 6,978 | v0.8.5 |
| 2026-07-26 02:00:00 | 6,972 | v0.8.5 |
| 2026-07-25 02:00:00 | 6,962 | v0.8.5 |
| 2026-07-24 02:00:00 | 6,954 | v0.8.5 |
| 2026-07-23 02:00:00 | 6,944 | v0.8.5 |
| 2026-07-22 02:00:00 | 6,938 | v0.8.5 |
| 2026-07-21 02:00:00 | 6,932 | v0.8.5 |
| 2026-07-20 02:00:00 | 6,926 | v0.8.5 |
| 2026-07-19 02:00:00 | 6,920 | v0.8.5 |
| 2026-07-18 02:00:00 | 6,916 | v0.8.5 |
| 2026-07-17 02:00:00 | 6,910 | v0.8.5 |
| 2026-07-16 02:00:00 | 6,908 | v0.8.5 |
| 2026-07-15 02:00:00 | 6,900 | v0.8.5 |
| 2026-07-14 02:00:00 | 6,778 | v0.8.5 |
| 2026-07-13 02:00:00 | 6,696 | v0.8.5 |
| 2026-07-12 02:00:00 | 6,690 | v0.8.5 |
| 2026-07-11 02:00:00 | 6,688 | v0.8.5 |
| 2026-07-10 02:00:00 | 6,684 | v0.8.5 |
| 2026-07-09 05:29:22 | 6,682 | v0.8.5 |
| 2026-07-08 02:00:00 | 6,676 | v0.8.5 |
| 2026-07-07 02:00:00 | 6,672 | v0.8.5 |
| 2026-07-06 02:00:00 | 6,670 | v0.8.5 |
| 2026-07-05 02:00:00 | 6,668 | v0.8.5 |
| 2026-07-04 02:00:00 | 6,666 | v0.8.5 |
| 2026-07-04 02:00:00 | 6,666 | v0.8.5 |
| 2026-07-03 08:30:39 | 6,658 | v0.8.5 |
| 2026-07-02 02:00:00 | 6,628 | v0.8.5 |
| 2026-07-01 02:00:00 | 6,624 | v0.8.5 |
| 2026-06-30 02:00:00 | 6,616 | v0.8.5 |
| 2026-06-29 14:14:45 | 6,616 | v0.8.5 |
| 2026-06-28 07:06:24 | 6,610 | v0.8.5 |