Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: nuget: OmniSharp.Extensions.LanguageProtocol.Testing
You can use this package to test a language server protocol client or server
39 versions
Latest release: over 1 year ago
262,462 downloads total
View more package details: https://packages.ecosyste.ms/registries/nuget.org/packages/OmniSharp.Extensions.LanguageProtocol.Testing
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/OmniSharp%2Fcsharp-language-server-protocol
Dependent Repos 13
robin-aws/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 219 MB - Last synced: 13 days ago - Pushed: 14 days ago
joho2014/dafny
- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 185 MB - Last synced: about 2 months ago - Pushed: about 2 years ago
GLaDOS-Michigan/dafny-holeEval
- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 5.2 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
jakenater99/dafny-proof-copy
- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 60.3 MB - Last synced: 17 days ago - Pushed: about 2 years ago
Rhetos/LanguageServices
Visual Studio IntelliSense for Rhetos.- 0.19.2 test/LspIntegration.Test/LspIntegration.Test.csproj
Size: 481 KB - Last synced: about 2 months ago - Pushed: 4 months ago
dafny-lang/language-server-csharp 📦
Dafny Language Server implementation in C#- 0.17.4 Source/DafnyLS.IntegrationTest/DafnyLS.IntegrationTest.csproj
Size: 423 KB - Last synced: about 1 year ago - Pushed: about 3 years ago
dev-cycles/contextive
Get on the same page.- 0.19.5 src/paket.lock
Size: 6.29 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
david-driscoll/dotnet-conf-2020
- 0.18.2 server.tests/server.tests.csproj
Size: 193 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
alex-chew/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 214 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
YarnSpinnerTool/YarnSpinner
Yarn Spinner is a tool for building interactive dialogue in games!- 0.19.5 YarnSpinner.LanguageServer.Tests/LanguageServer.Tests.csproj
Size: 88.9 MB - Last synced: 11 days ago - Pushed: 11 days ago
prvshah51/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 198 MB - Last synced: 18 days ago - Pushed: over 1 year ago
byu-dafny/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 207 MB - Last synced: 4 months ago - Pushed: 4 months ago
fabiomadge/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 217 MB - Last synced: 6 days ago - Pushed: 6 days ago
keyboardDrummer/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 224 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
atomb/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 217 MB - Last synced: 1 day ago - Pushed: 1 day ago
RustanLeino/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 207 MB - Last synced: 21 days ago - Pushed: 21 days ago
Dargones/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 216 MB - Last synced: 1 day ago - Pushed: 1 day ago
mzhu-um/qdafny 📦
qdafny Release Repo- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 187 MB - Last synced: 17 days ago - Pushed: over 1 year ago
D-Parkinson1/DafnyInfoFlow
An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.- 0.19.2 DafnySource/Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 3.44 MB - Last synced: about 1 year ago - Pushed: over 2 years ago
apython123/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 198 MB - Last synced: 8 months ago - Pushed: over 1 year ago
dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 230 MB - Last synced: 14 days ago - Pushed: 14 days ago
eligoldweber/dafny-holeEval Fork of GLaDOS-Michigan/dafny-holeEval
Forked from dafny-holeEval, prototype for spec mutations- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 4.82 MB - Last synced: 21 days ago - Pushed: 21 days ago
dschoepe/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 209 MB - Last synced: 7 months ago - Pushed: 7 months ago
erikjuhani/contextive Fork of dev-cycles/contextive
Get on the same page.- 0.19.7 src/paket.lock
Size: 5.56 MB - Last synced: 23 days ago - Pushed: 6 months ago
aws/porting-assistant-dotnet-visual-studio-ide-extension
Porting Assistant for .NET is an analysis tool that scans .NET Framework applications and generates a .NET Core compatibility assessment, helping customers port their applications to Linux faster.- 0.19.0 tst/PortingAssistantExtensionServerUnitTest/PortingAssistantExtensionServerUnitTest.csproj
Size: 200 MB - Last synced: 5 days ago - Pushed: 4 months ago
GLaDOS-Michigan/linear-dist
Prototypes for linear distributed systems- 0.19.5 local-dafny/Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 56.7 MB - Last synced: 25 days ago - Pushed: 25 days ago
GLaDOS-Michigan/Kondo-Artifact-OSDI24
- 0.19.5 local-dafny/Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 5.52 MB - Last synced: 7 days ago - Pushed: 7 days ago
GLaDOS-Michigan/IronSpec
- 0.19.5 Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
Size: 5 MB - Last synced: 19 days ago - Pushed: 19 days ago