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
6,658
Since yesterday
+30
Current version
v0.8.5
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 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 |