Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / alex-chew / dafny
Dafny is a verification-aware programming language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/alex-chew%2Fdafny
Fork of dafny-lang/dafny
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: C#
Repo Size: 214 MB
Dependencies:
221
Created: about 4 years ago
Updated: 2 months ago
Last pushed: 2 months ago
Last synced: 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
- actions/checkout v2 composite
- actions/github-script v6 composite
.github/workflows/deep-tests.yml
actions
- actions/checkout v2 composite
.github/workflows/gradle.yml
actions
- actions/checkout v2 composite
- actions/setup-java v1 composite
- actions/checkout v2 composite
- actions/setup-dotnet v1.9.0 composite
- actions/setup-java v1 composite
- actions/setup-node v1 composite
- actions/setup-python v1 composite
- actions/upload-artifact v2 composite
.github/workflows/msbuild.yml
actions
- QwerMike/xpath-action v1 composite
- actions-ecosystem/action-regex-match v2 composite
- actions/checkout v2 composite
- actions/setup-dotnet v1.9.0 composite
- actions/checkout v2 composite
- actions/setup-dotnet v1.9.0 composite
- actions/setup-java v1 composite
- actions/setup-node v1 composite
- actions/setup-python v1 composite
- actions/upload-artifact v2 composite
- softprops/action-gh-release v1 composite
- battila7/get-version-action v2 composite
.github/workflows/refman.yml
actions
- actions/checkout v2 composite
- actions/setup-dotnet v1.9.0 composite
- actions/setup-python v1 composite
- actions/upload-artifact v2 composite
- actions/setup-dotnet v1.9.0 composite
- actions/setup-java v1 composite
- pozetroninc/github-action-get-latest-release v0.5.0 composite
- actions/setup-java v1 composite
- dsaltares/fetch-gh-release-asset master composite
- actions/checkout v2 composite
- dorny/test-reporter v1 composite
- actions/checkout v2 composite
- actions/setup-dotnet v1.9.0 composite
- actions/upload-artifact v2 composite
- org.junit.jupiter:junit-jupiter-engine 5.5.2 api
- Microsoft.Build 17.0.0
- Microsoft.Build.Framework 17.0.0
- Microsoft.Build.Locator 1.4.1
- Microsoft.Build.Tasks.Core 17.0.0
- Microsoft.Build.Utilities.Core 17.0.0
- Microsoft.CodeAnalysis 4.0.1
- Microsoft.CodeAnalysis.CSharp 4.0.1
- Microsoft.CodeAnalysis.CSharp.Workspaces 4.0.1
- Microsoft.CodeAnalysis.Workspaces.MSBuild 4.0.1
- Microsoft.NET.Test.Sdk 16.11.0
- coverlet.collector 3.1.0
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3
- Boogie.ExecutionEngine 2.15.7
- JetBrains.Annotations 2021.1.0
- Microsoft.CodeAnalysis.CSharp 3.7.0
- System.Collections.Immutable 1.7.0
- System.CommandLine 2.0.0-beta4.22272.1
- System.Runtime.Numerics 4.3.0
- Microsoft.TestPlatform.Extensions.TrxLogger 17.0.0
- Microsoft.TestPlatform.TestHost 16.11.0
- Newtonsoft.Json 13.0.1
- 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.6.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 13.0.1
- 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
- DiffPlex 1.7.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
- Microsoft.NET.Test.Sdk 16.11.0
- coverlet.collector 3.1.0
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3
- 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.9.1
- 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
- activesupport 6.0.5
- addressable 2.8.0
- coffee-script 2.4.1
- coffee-script-source 1.11.1
- colorator 1.1.0
- commonmarker 0.23.6
- concurrent-ruby 1.1.10
- dnsruby 1.61.9
- em-websocket 0.5.3
- ethon 0.15.0
- eventmachine 1.2.7
- execjs 2.8.1
- faraday 2.3.0
- faraday-net_http 2.0.3
- ffi 1.15.5
- forwardable-extended 2.6.0
- gemoji 3.0.1
- github-pages 225
- github-pages-health-check 1.17.9
- html-pipeline 2.14.1
- http_parser.rb 0.8.0
- i18n 0.9.5
- jekyll 3.9.0
- jekyll-avatar 0.7.0
- jekyll-coffeescript 1.1.1
- jekyll-commonmark 1.4.0
- jekyll-commonmark-ghpages 0.2.0
- jekyll-default-layout 0.1.4
- jekyll-feed 0.15.1
- jekyll-gist 1.5.0
- jekyll-github-metadata 2.13.0
- jekyll-include-cache 0.2.1
- jekyll-mentions 1.6.0
- jekyll-numbered-headings 0.1.1
- jekyll-optional-front-matter 0.3.2
- jekyll-paginate 1.1.0
- jekyll-readme-index 0.3.0
- jekyll-redirect-from 0.16.0
- jekyll-relative-links 0.6.1
- jekyll-remote-theme 0.4.3
- jekyll-sass-converter 1.5.2
- jekyll-seo-tag 2.8.0
- jekyll-sitemap 1.4.0
- jekyll-swiss 1.0.0
- jekyll-theme-architect 0.2.0
- jekyll-theme-cayman 0.2.0
- jekyll-theme-dinky 0.2.0
- jekyll-theme-hacker 0.2.0
- jekyll-theme-leap-day 0.2.0
- jekyll-theme-merlot 0.2.0
- jekyll-theme-midnight 0.2.0
- jekyll-theme-minimal 0.2.0
- jekyll-theme-modernist 0.2.0
- jekyll-theme-primer 0.6.0
- jekyll-theme-slate 0.2.0
- jekyll-theme-tactile 0.2.0
- jekyll-theme-time-machine 0.2.0
- jekyll-titles-from-headings 0.5.3
- jekyll-watch 2.2.1
- jemoji 0.12.0
- kramdown 2.3.1
- kramdown-parser-gfm 1.1.0
- liquid 4.0.3
- listen 3.7.1
- mercenary 0.3.6
- minima 2.5.1
- minitest 5.15.0
- nokogiri 1.13.6
- octokit 4.25.0
- pathutil 0.16.2
- public_suffix 4.0.7
- racc 1.6.0
- rb-fsevent 0.11.1
- rb-inotify 0.10.1
- rexml 3.2.5
- rouge 3.26.0
- ruby2_keywords 0.0.5
- rubyzip 2.3.2
- safe_yaml 1.0.5
- sass 3.7.4
- sass-listen 4.0.0
- sawyer 0.9.2
- simpleidn 0.2.1
- terminal-table 1.8.0
- thread_safe 0.3.6
- typhoeus 1.4.0
- tzinfo 1.2.10
- unf 0.1.4
- unf_ext 0.0.8.2
- unicode-display_width 1.8.0
- zeitwerk 2.5.4