GitHub repository: DafnyVSCode/language-server-csharp
Primary language: C#
Description: Dafny Language Server implementation in C#