Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / joho2014 / dafny
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joho2014%2Fdafny
Stars: 0
Forks: 0
Open Issues: 1
License: other
Language: C#
Repo Size: 185 MB
Dependencies:
175
Created: over 2 years ago
Updated: 2 months ago
Last pushed: about 2 years ago
Last synced: 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
- org.junit.jupiter:junit-jupiter-engine 5.5.2 api
- Boogie.ExecutionEngine 2.15.0
- JetBrains.Annotations 2021.1.0
- Microsoft.CodeAnalysis.CSharp 3.7.0
- System.Collections.Immutable 1.7.0
- System.Runtime.Numerics 4.3.0
- Microsoft.TestPlatform.Extensions.TrxLogger 17.0.0
- Microsoft.TestPlatform.TestHost 16.11.0
- Newtonsoft.Json 11.0.2
- System.Collections 4.3.0
- System.Diagnostics.Debug 4.3.0
- System.IO.FileSystem.Primitives 4.3.0
- System.Runtime.Handles 4.3.0
- System.Runtime.InteropServices 4.3.0
- System.Security.Principal.Windows 4.5.0
- System.Text.Encoding.Extensions 4.3.0
- System.Threading 4.3.0
- Microsoft.Extensions.Configuration.CommandLine 5.0.0
- Microsoft.Extensions.Configuration.Json 5.0.0
- Microsoft.Extensions.Logging 5.0.0
- Newtonsoft.Json 11.0.2
- OmniSharp.Extensions.LanguageServer 0.19.5
- RangeTree 3.0.1
- Serilog 2.10.0
- Serilog.Extensions.Logging 3.0.1
- Serilog.Settings.Configuration 3.1.0
- Serilog.Sinks.Debug 2.0.0
- Serilog.Sinks.File 5.0.0
- System.Collections 4.3.0
- System.Diagnostics.Debug 4.3.0
- System.IO.FileSystem.Primitives 4.3.0
- MSTest.TestAdapter 2.2.7
- MSTest.TestFramework 2.2.7
- Microsoft.CodeAnalysis.CSharp 3.7.0
- Microsoft.Extensions.Logging.Console 5.0.0
- Microsoft.NET.Test.Sdk 16.11.0
- Moq 4.16.1
- OmniSharp.Extensions.LanguageProtocol.Testing 0.19.5
- coverlet.collector 1.3.0
- DiffPlex 1.7.0
- Microsoft.NET.Test.Sdk 16.8.3
- coverlet.collector 1.3.0
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3
- System.Collections.Immutable 1.7.0
- System.Runtime.Numerics 4.3.0
- System.Collections.Immutable 1.7.0
- System.Runtime 4.3.1
- MSTest.TestAdapter 2.2.3
- MSTest.TestFramework 2.2.3
- Microsoft.NET.Test.Sdk 16.9.4
- coverlet.collector 3.0.2
- Microsoft.NET.Test.Sdk 16.10.0
- coverlet.collector 3.0.2
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3
- CommandLineParser 2.8.0
- DiffPlex 1.7.0
- Microsoft.Extensions.FileSystemGlobbing 5.0.0
- Microsoft.NET.Test.Sdk 16.9.4
- Xunit.SkippableFact 1.4.8
- coverlet.collector 3.0.2
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3
- Antlr4.CodeGenerator 4.6.6
- antlr4.runtime 4.6.6
docs/Gemfile
rubygems
- github-pages ~> 225 development
- jekyll-numbered-headings >= 0
- kramdown >= 2.3.1
- minima ~> 2.5
- tzinfo ~> 1.2
- tzinfo-data >= 0
- wdm ~> 0.1.1
docs/Gemfile.lock
rubygems