GitHub repository: namin/ide-vscode
Primary language: TypeScript
Description: VSCode IDE Integration for Dafny