Dafny-VSCode

Dafny-VSCode

DafnyVSCode

Dafny 2 for Visual Studio Code (Legacy)

visual-studio-code
View on GitHub Website
20 Stars
12 Forks
5 Watchers
TypeScript Language
mit License
82.9 SrcLog Score
Cost to Build
$666.9K
Market Value
$763.4K
How is this calculated?

Growth over time

12 data points  ·  2021-08-01 → 2026-10-01
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about Dafny-VSCode

Question copied to clipboard

What is the DafnyVSCode/Dafny-VSCode GitHub project? Description: "Dafny 2 for Visual Studio Code (Legacy)". Written in TypeScript. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

DafnyVSCode/Dafny-VSCode on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone Dafny-VSCode

Clone via HTTPS

git clone https://github.com/DafnyVSCode/Dafny-VSCode.git

Clone via SSH

[email protected]:DafnyVSCode/Dafny-VSCode.git

Download ZIP

Download develop.zip

Found an issue?

Report bugs or request features on the Dafny-VSCode issue tracker:

Open GitHub Issues

Similar to Dafny-VSCode

vscode awesome-vscode polacode vetur pythonVSCode Git-Credential-Manager-for-Windows MagicPython code-settings-sync vsc-material-theme vscode-powershell vscode-restclient vscode-icons vscode-code-runner vscode-portable VSCodeNotebook visual-studio-code OpenInCode Handlebars vscode-project-manager AL themecreator vscode-cmake-tools vscode-docthis vscode-markdown-pdf visual-studio-code vscode-bookmarks vscode-stylelint vscode-theme-alabaster vscode-intelephense vscode-palenight-theme