Open VSX Tracker
Back to leaderboard
Dafny icon

Dafny

dafny-lang.ide-vscode

Dafny for Visual Studio Code

Open VSX Repository Homepage Issues
__ext_dfy__ext_dfyidafnykeybindingsProgramming Languages

Open VSX

Total downloads
5,921
Since yesterday
+4
Current version
v3.5.4
Days tracked
125

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:005,921v3.5.4
2026-10-29 02:00:005,917v3.5.4
2026-10-28 02:00:005,915v3.5.4
2026-10-27 02:00:005,879v3.5.4
2026-10-26 02:00:005,871v3.5.4
2026-10-25 02:00:005,859v3.5.4
2026-10-24 02:00:005,849v3.5.4
2026-10-23 02:00:005,845v3.5.4
2026-10-22 02:00:005,829v3.5.4
2026-10-21 02:00:005,821v3.5.4
2026-10-20 02:00:005,809v3.5.4
2026-10-19 02:00:005,797v3.5.4
2026-10-18 02:00:005,789v3.5.4
2026-10-17 02:00:005,779v3.5.4
2026-10-16 02:00:005,765v3.5.4
2026-10-15 02:00:005,755v3.5.4
2026-10-14 02:00:005,739v3.5.4
2026-10-13 02:00:005,729v3.5.4
2026-10-12 02:00:005,715v3.5.4
2026-10-11 02:00:005,709v3.5.4
2026-10-10 02:00:005,697v3.5.4
2026-10-09 02:00:005,691v3.5.4
2026-10-08 02:00:005,679v3.5.4
2026-10-07 02:00:005,671v3.5.4
2026-10-06 02:00:005,657v3.5.4
2026-10-05 02:00:005,645v3.5.4
2026-10-04 02:00:005,637v3.5.4
2026-10-03 02:00:005,619v3.5.4
2026-10-02 02:00:005,605v3.5.4
2026-10-01 02:00:005,591v3.5.4
2026-09-30 02:00:005,583v3.5.4
2026-09-29 02:00:005,575v3.5.4
2026-09-28 02:00:005,573v3.5.4
2026-09-27 02:00:005,569v3.5.4
2026-09-26 02:00:005,559v3.5.4
2026-09-25 02:00:005,551v3.5.4
2026-09-24 02:00:005,505v3.5.4
2026-09-23 02:00:005,491v3.5.4
2026-09-22 02:00:005,483v3.5.4
2026-09-21 02:00:005,461v3.5.4
2026-09-20 02:00:005,449v3.5.4
2026-09-19 02:00:005,441v3.5.4
2026-09-18 02:00:005,431v3.5.4
2026-09-17 02:00:005,407v3.5.4
2026-09-16 02:00:005,403v3.5.4
2026-09-15 11:36:375,397v3.5.4
2026-09-14 02:00:005,387v3.5.4
2026-09-13 02:00:005,383v3.5.4
2026-09-12 06:52:155,377v3.5.4
2026-09-11 02:00:005,367v3.5.4
2026-09-10 02:00:005,363v3.5.4
2026-09-09 02:00:005,357v3.5.4
2026-09-08 02:00:005,349v3.5.4
2026-09-07 02:00:005,343v3.5.4
2026-09-06 02:00:005,333v3.5.4
2026-09-05 02:00:005,329v3.5.4
2026-09-04 02:00:005,327v3.5.4
2026-09-03 02:00:005,321v3.5.4
2026-09-02 02:00:005,317v3.5.4
2026-09-01 02:00:005,309v3.5.4
2026-08-31 02:00:005,299v3.5.4
2026-08-30 02:00:005,295v3.5.4
2026-08-29 02:00:005,289v3.5.4
2026-08-28 02:00:005,273v3.5.4
2026-08-27 02:00:005,267v3.5.4
2026-08-26 02:00:005,251v3.5.4
2026-08-25 02:00:005,243v3.5.4
2026-08-24 02:00:005,235v3.5.4
2026-08-23 02:00:005,227v3.5.4
2026-08-22 02:00:005,221v3.5.4
2026-08-21 02:00:005,213v3.5.4
2026-08-20 02:00:005,199v3.5.4
2026-08-19 02:00:005,191v3.5.4
2026-08-18 02:00:005,185v3.5.4
2026-08-17 02:00:005,173v3.5.4
2026-08-16 02:00:005,171v3.5.4
2026-08-15 02:00:005,163v3.5.4
2026-08-14 02:00:005,153v3.5.4
2026-08-13 02:00:005,143v3.5.4
2026-08-12 02:00:005,137v3.5.4
2026-08-11 02:00:005,133v3.5.4
2026-08-10 02:00:005,123v3.5.4
2026-08-09 02:00:005,121v3.5.4
2026-08-08 02:00:005,117v3.5.4
2026-08-07 02:00:005,115v3.5.4
2026-08-06 02:00:005,105v3.5.4
2026-08-05 02:00:005,089v3.5.4
2026-08-04 02:00:005,077v3.5.4
2026-08-03 02:00:005,067v3.5.4
2026-08-02 02:00:005,061v3.5.4
2026-08-01 02:00:005,051v3.5.4
2026-07-31 02:00:005,043v3.5.4
2026-07-30 02:00:005,030v3.5.4
2026-07-29 06:50:175,019v3.5.4
2026-07-28 02:00:004,991v3.5.4
2026-07-27 02:00:004,979v3.5.4
2026-07-26 02:00:004,969v3.5.4
2026-07-25 02:00:004,959v3.5.4
2026-07-24 02:00:004,943v3.5.4
2026-07-23 02:00:004,937v3.5.4
2026-07-22 02:00:004,927v3.5.4
2026-07-21 02:00:004,923v3.5.4
2026-07-20 02:00:004,907v3.5.4
2026-07-19 02:00:004,889v3.5.4
2026-07-18 02:00:004,885v3.5.4
2026-07-17 02:00:004,879v3.5.4
2026-07-16 02:00:004,873v3.5.4
2026-07-15 02:00:004,867v3.5.4
2026-07-14 02:00:004,773v3.5.4
2026-07-13 02:00:004,767v3.5.4
2026-07-12 02:00:004,759v3.5.4
2026-07-11 02:00:004,753v3.5.4
2026-07-10 02:00:004,749v3.5.4
2026-07-09 05:29:224,745v3.5.4
2026-07-08 02:00:004,737v3.5.4
2026-07-07 02:00:004,729v3.5.4
2026-07-06 02:00:004,721v3.5.4
2026-07-05 02:00:004,713v3.5.4
2026-07-04 02:00:004,707v3.5.4
2026-07-03 08:30:394,693v3.5.4
2026-07-02 02:00:004,673v3.5.4
2026-07-01 02:00:004,657v3.5.4
2026-06-30 02:00:004,639v3.5.4
2026-06-29 14:14:454,637v3.5.4
2026-06-28 07:06:244,629v3.5.4