GitHub repository: DafnyVSCode/Dafny-VSCode
Primary language: TypeScript
Description: Dafny 2 for Visual Studio Code (Legacy)