Back to leaderboard
Dafny icon

Dafny

dafny-lang.ide-vscode

Dafny for Visual Studio Code

__ext_dfy__ext_dfyidafnykeybindingsProgramming Languages

Open VSX

Total downloads
4,693
Since yesterday
+20
Current version
v3.5.4
Days tracked
6

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
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