Open VSX Tracker
Back to leaderboard
whycode icon

whycode

xldenis.whycode

Why3 LSP client

Open VSX Repository Homepage Issues
__ext_coma__ext_mlwcomawhy3Other

Open VSX

Total downloads
109,328
Since yesterday
+6
Current version
v0.2.535
Days tracked
125

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:00109,328v0.2.535
2026-10-29 02:00:00109,322v0.2.535
2026-10-28 02:00:00108,866v0.2.535
2026-10-27 02:00:00108,850v0.2.535
2026-10-26 02:00:00108,844v0.2.535
2026-10-25 02:00:00108,825v0.2.535
2026-10-24 02:00:00108,798v0.2.535
2026-10-23 02:00:00108,794v0.2.535
2026-10-22 02:00:00108,782v0.2.535
2026-10-21 02:00:00108,774v0.2.535
2026-10-20 02:00:00108,766v0.2.535
2026-10-19 02:00:00108,758v0.2.535
2026-10-18 02:00:00108,738v0.2.535
2026-10-17 02:00:00108,734v0.2.535
2026-10-16 02:00:00108,726v0.2.535
2026-10-15 02:00:00108,724v0.2.535
2026-10-14 02:00:00108,718v0.2.535
2026-10-13 02:00:00108,712v0.2.535
2026-10-12 02:00:00108,710v0.2.535
2026-10-11 02:00:00108,677v0.2.535
2026-10-10 02:00:00108,640v0.2.535
2026-10-09 02:00:00108,620v0.2.535
2026-10-08 02:00:00108,594v0.2.535
2026-10-07 02:00:00108,584v0.2.535
2026-10-06 02:00:00108,566v0.2.535
2026-10-05 02:00:00108,556v0.2.535
2026-10-04 02:00:00108,538v0.2.535
2026-10-03 02:00:00108,502v0.2.535
2026-10-02 02:00:00108,480v0.2.535
2026-10-01 02:00:00108,416v0.2.535
2026-09-30 02:00:00105,585v0.2.535
2026-09-29 02:00:00102,425v0.2.535
2026-09-28 02:00:0097,847v0.2.535
2026-09-27 02:00:0097,727v0.2.535
2026-09-26 02:00:0097,719v0.2.535
2026-09-25 02:00:0097,715v0.2.535
2026-09-24 02:00:0096,897v0.2.535
2026-09-23 02:00:0096,887v0.2.535
2026-09-22 02:00:0096,883v0.2.535
2026-09-21 02:00:0096,879v0.2.535
2026-09-20 02:00:0096,855v0.2.535
2026-09-19 02:00:0096,847v0.2.535
2026-09-18 02:00:0096,841v0.2.535
2026-09-17 02:00:0096,799v0.2.535
2026-09-16 02:00:0096,795v0.2.535
2026-09-15 11:36:3796,793v0.2.535
2026-09-14 02:00:0096,785v0.2.535
2026-09-13 02:00:0096,773v0.2.535
2026-09-12 06:52:1596,765v0.2.535
2026-09-11 02:00:0096,759v0.2.535
2026-09-10 02:00:0096,751v0.2.535
2026-09-09 02:00:0096,743v0.2.535
2026-09-08 02:00:0096,737v0.2.535
2026-09-07 02:00:0096,731v0.2.535
2026-09-06 02:00:0096,727v0.2.535
2026-09-05 02:00:0096,723v0.2.535
2026-09-04 02:00:0096,719v0.2.535
2026-09-03 02:00:0096,715v0.2.535
2026-09-02 02:00:0096,711v0.2.535
2026-09-01 02:00:0096,709v0.2.535
2026-08-31 02:00:0096,703v0.2.535
2026-08-30 02:00:0096,699v0.2.535
2026-08-29 02:00:0096,693v0.2.535
2026-08-28 02:00:0096,689v0.2.535
2026-08-27 02:00:0096,683v0.2.535
2026-08-26 02:00:0096,657v0.2.535
2026-08-25 02:00:0096,653v0.2.535
2026-08-24 02:00:0096,649v0.2.535
2026-08-23 02:00:0096,643v0.2.535
2026-08-22 02:00:0096,637v0.2.535
2026-08-21 02:00:0096,633v0.2.535
2026-08-20 02:00:0096,629v0.2.535
2026-08-19 02:00:0096,625v0.2.535
2026-08-18 02:00:0096,621v0.2.535
2026-08-17 02:00:0096,617v0.2.535
2026-08-16 02:00:0096,613v0.2.535
2026-08-15 02:00:0096,609v0.2.535
2026-08-14 02:00:0096,595v0.2.535
2026-08-13 02:00:0096,591v0.2.535
2026-08-12 02:00:0096,587v0.2.535
2026-08-11 02:00:0096,581v0.2.535
2026-08-10 02:00:0096,577v0.2.535
2026-08-09 02:00:0096,573v0.2.535
2026-08-08 02:00:0096,567v0.2.535
2026-08-07 02:00:0096,561v0.2.535
2026-08-06 02:00:0096,553v0.2.535
2026-08-05 02:00:0096,545v0.2.535
2026-08-04 02:00:0096,541v0.2.535
2026-08-03 02:00:0096,533v0.2.535
2026-08-02 02:00:0096,525v0.2.535
2026-08-01 02:00:0096,519v0.2.535
2026-07-31 02:00:0096,507v0.2.535
2026-07-30 02:00:0096,501v0.2.535
2026-07-29 06:50:1796,497v0.2.535
2026-07-28 02:00:0096,459v0.2.535
2026-07-27 02:00:0096,445v0.2.535
2026-07-26 02:00:0096,403v0.2.535
2026-07-25 02:00:0096,381v0.2.535
2026-07-24 02:00:0096,359v0.2.535
2026-07-23 02:00:0096,341v0.2.535
2026-07-22 02:00:0096,317v0.2.535
2026-07-21 02:00:0096,297v0.2.535
2026-07-20 02:00:0096,279v0.2.535
2026-07-19 02:00:0096,257v0.2.535
2026-07-18 02:00:0096,233v0.2.535
2026-07-17 02:00:0096,203v0.2.535
2026-07-16 02:00:0093,793v0.2.535
2026-07-15 02:00:0092,189v0.2.535
2026-07-14 02:00:0092,183v0.2.535
2026-07-13 02:00:0092,141v0.2.535
2026-07-12 02:00:0092,133v0.2.535
2026-07-11 02:00:0092,125v0.2.535
2026-07-10 02:00:0092,117v0.2.535
2026-07-09 05:29:2292,111v0.2.535
2026-07-08 02:00:0092,109v0.2.535
2026-07-07 02:00:0092,103v0.2.535
2026-07-06 02:00:0092,095v0.2.535
2026-07-05 02:00:0092,091v0.2.535
2026-07-04 02:00:0092,089v0.2.535
2026-07-03 08:30:3992,085v0.2.535
2026-07-02 02:00:0092,081v0.2.535
2026-07-01 02:00:0092,073v0.2.535
2026-06-30 02:00:0092,067v0.2.535
2026-06-29 14:14:4592,065v0.2.535
2026-06-28 07:06:2492,055v0.2.535