Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / dafny-lang / language-server-csharp
Dafny Language Server implementation in C#
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Flanguage-server-csharp
Stars: 3
Forks: 1
Open Issues: 4
License: mit
Language: C#
Repo Size: 423 KB
Dependencies:
14
Created: over 3 years ago
Updated: over 1 year ago
Last pushed: about 3 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- Boogie.ExecutionEngine 2.8.26
- Microsoft.Extensions.Configuration.CommandLine 5.0.0
- Microsoft.Extensions.Logging 3.1.8
- Microsoft.Extensions.Logging.Configuration 3.1.8
- NLog 4.7.5
- NLog.Extensions.Logging 1.6.5
- NLog.Web.AspNetCore 4.9.3
- OmniSharp.Extensions.LanguageServer 0.17.4
- RangeTree 3.0.0