Data

Tools

Indexes

Applications

Experiments

Summary

An open API service for producing an overview of a list of open source projects.

https://github.com/dafny-lang/dafny

programming-language verification

Score: 24.692795033213073

Last synced: about 1 hour ago
JSON representation

Repository metadata:

Dafny is a verification-aware programming language

Owner metadata:

Committers metadata

Last synced: 22 days ago

Total Commits: 6,325
Total Committers: 124
Avg Commits per committer: 51.008
Development Distribution Score (DDS): 0.809

Commits in past year: 158
Committers in past year: 18
Avg Commits per committer in past year: 8.778
Development Distribution Score (DDS) in past year: 0.741

Name Email Commits
Rustan Leino l****o@m****m 1210
Rustan Leino l****o@a****m 818
Remy Willems r****s@a****m 582
David Cok d****k@g****m 418
Mikaël Mayer M****r 359
Clément Pit--Claudel c****l@l****m 257
Robin Salkeld s****r@a****m 244
Valentin Wuestholz w****z@g****m 212
qunyanm q****m@h****m 197
Fabio Madge f****e@a****m 171
Aaron Tomb a****b@a****m 142
Prathamesh Bang p****g@a****m 131
Luke Maurer l****r@g****m 129
davidcok d****k@a****m 121
Jack Sturtevant j****e@a****m 105
Daniel Matichuk d****k@g****m 105
Jason Koenig j****g@s****u 88
Bryan Parno p****o@m****m 79
Aleksandar Milicevic a****s@c****u 60
Markus Schaden m****n@g****m 57
Alex Chew a****w 49
Nadia Polikarpova n****a@g****m 47
James Wilcox j****2@c****u 47
davidcok d****k@g****m 47
Aleksandr Fedchin s****n@g****m 39
dependabot[bot] 4****] 39
Samuel Gruetter k****t@a****m 35
Bryan Parno p****o@c****u 29
Shadaj Laddad s****j 28
Dan Rosen d****r@c****e 26
and 94 more...

Issue and Pull Request metadata

Last synced: 26 days ago

Total issues: 1,207
Total pull requests: 1,851
Average time to close issues: 7 months
Average time to close pull requests: 15 days
Total issue authors: 149
Total pull request authors: 53
Average comments per issue: 2.9
Average comments per pull request: 0.53
Merged pull request: 1,356
Bot issues: 0
Bot pull requests: 45

Past year issues: 117
Past year pull requests: 321
Past year average time to close issues: 7 days
Past year average time to close pull requests: 6 days
Past year issue authors: 44
Past year pull request authors: 19
Past year average comments per issue: 1.5
Past year average comments per pull request: 0.36
Past year merged pull request: 200
Past year bot issues: 0
Past year bot pull requests: 7

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/dafny-lang/dafny

Top Issue Authors

  • MikaelMayer (152)
  • robin-aws (144)
  • keyboardDrummer (141)
  • RustanLeino (88)
  • cpitclaudel (48)
  • erniecohen (40)
  • atomb (36)
  • dafny-lang-bot (35)
  • davidcok (34)
  • aws-crypto-tools-ci-bot (31)
  • hmijail (25)
  • fabiomadge (22)
  • seebees (21)
  • ajewellamz (19)
  • sorawee (15)

Top Pull Request Authors

  • keyboardDrummer (572)
  • MikaelMayer (301)
  • RustanLeino (169)
  • atomb (152)
  • robin-aws (116)
  • fabiomadge (112)
  • alex-chew (54)
  • dependabot[bot] (45)
  • davidcok (41)
  • shadaj (30)
  • Dargones (29)
  • jtristan (26)
  • olivier-aws (25)
  • ssomayyajula (20)
  • stefan-aws (19)

Top Issue Labels

  • kind: bug (655)
  • kind: enhancement (236)
  • priority: not yet (123)
  • part: verifier (99)
  • part: resolver (86)
  • during 2: compilation of correct program (81)
  • part: code-generation (72)
  • kind: language development speed (65)
  • crash (65)
  • priority: next (62)
  • status: fixed (61)
  • part: documentation (53)
  • lang: java (42)
  • part: language server (39)
  • during 1: program development (37)
  • during 3: execution of incorrect program (32)
  • area: error-reporting (29)
  • has-workaround: yes (22)
  • part: standard libraries (22)
  • misc: cleanup (22)
  • incompleteness (22)
  • lang: c# (19)
  • release-blocker (19)
  • misc: brittleness (19)
  • part: language definition (16)
  • lang: python (16)
  • invalid translated code (16)
  • makes-mikael-grateful (15)
  • area: performance (15)
  • testing-method: uniform-backend-testing (14)

Top Pull Request Labels

  • run-deep-tests (102)
  • dependencies (45)
  • github_actions (29)
  • run-integration-tests (25)
  • ruby (14)
  • part: counterexamples (4)
  • severity: release-blocker (3)
  • makes-mikael-grateful (2)
  • .NET (2)
  • skip-deep-tests (1)
  • need-check-proof-variability (1)
  • breaking-change (1)
  • kind: enhancement (1)
  • part: documentation (1)
  • priority: not yet (1)
  • kind: bug (1)

Package metadata

proxy.golang.org: github.com/dafny-lang/dafny

  • Homepage: https://github.com/dafny-lang/dafny
  • Documentation: https://pkg.go.dev/github.com/dafny-lang/dafny#section-documentation
  • Licenses: MIT
  • Latest release: v4.11.0+incompatible (published 5 months ago)
  • Last Synced: 2026-01-14T12:34:19.925Z (21 days ago)
  • Versions: 55
  • Dependent Packages: 0
  • Dependent Repositories: 0
  • Rankings:
    • Stargazers count: 0.921%
    • Forks count: 1.176%
    • Average: 4.611%
    • Dependent packages count: 6.999%
    • Dependent repos count: 9.346%
formulae.brew.sh: dafny

Verification-aware programming language

  • Homepage: https://github.com/dafny-lang/dafny/blob/master/README.md
  • Licenses: MIT
  • Latest release: 4.11.0 (published 5 months ago)
  • Last Synced: 2026-01-14T12:34:09.214Z (21 days ago)
  • Versions: 28
  • Dependent Packages: 0
  • Dependent Repositories: 1
  • Downloads: 21 Last month
  • Rankings:
    • Stargazers count: 9.943%
    • Forks count: 10.616%
    • Dependent packages count: 18.441%
    • Average: 19.784%
    • Dependent repos count: 29.317%
    • Downloads: 30.606%
pypi.org: dafnyruntimepython

Dafny runtime for Python

  • Homepage: https://github.com/dafny-lang/dafny
  • Documentation: https://dafnyruntimepython.readthedocs.io/
  • Licenses: MIT License
  • Latest release: 4.11.0 (published 5 months ago)
  • Last Synced: 2026-01-14T12:34:13.245Z (21 days ago)
  • Versions: 11
  • Dependent Packages: 0
  • Dependent Repositories: 0
  • Downloads: 92,884 Last month
  • Rankings:
    • Dependent packages count: 9.967%
    • Average: 37.88%
    • Dependent repos count: 65.792%
  • Maintainers (1)

Dependencies

.github/workflows/check-deep-tests-reusable.yml actions
  • actions/checkout v3 composite
  • actions/github-script v6 composite
.github/workflows/doc-tests.yml actions
  • actions/checkout v3 composite
  • actions/setup-dotnet v3 composite
.github/workflows/integration-tests-reusable.yml actions
  • actions/checkout v3 composite
  • actions/setup-dotnet v3 composite
  • actions/setup-java v3 composite
  • actions/setup-node v3 composite
  • actions/setup-python v4 composite
  • actions/upload-artifact v3 composite
.github/workflows/msbuild.yml actions
  • actions/checkout v3 composite
  • actions/download-artifact v3 composite
  • actions/setup-dotnet v3 composite
  • actions/upload-artifact v3 composite
  • irongut/CodeCoverageSummary v1.3.0 composite
.github/workflows/publish-release-reusable.yml actions
  • actions/checkout v3 composite
  • actions/setup-dotnet v3 composite
  • actions/setup-java v3 composite
  • actions/setup-node v3 composite
  • actions/setup-python v4 composite
  • actions/upload-artifact v3 composite
  • softprops/action-gh-release v1 composite
.github/workflows/publish-release.yml actions
  • battila7/get-version-action v2 composite
.github/workflows/refman.yml actions
  • actions/checkout v3 composite
  • actions/setup-dotnet v3 composite
  • actions/upload-artifact v3 composite
.github/workflows/release-brew.yml actions
  • actions/setup-python v4 composite
.github/workflows/release-downloads-nuget.yml actions
  • actions/checkout v3 composite
  • actions/setup-dotnet v3 composite
  • actions/setup-java v3 composite
  • pozetroninc/github-action-get-latest-release v0.5.0 composite
.github/workflows/release-downloads.yml actions
  • actions/setup-java v3 composite
  • dsaltares/fetch-gh-release-asset master composite
.github/workflows/runtime-tests.yml actions
  • actions/checkout v3 composite
  • actions/setup-java v3 composite
.github/workflows/test-report.yml actions
  • actions/checkout v3 composite
  • dorny/test-reporter v1 composite
.github/workflows/xunit-tests-reusable.yml actions
  • actions/checkout v3 composite
  • actions/setup-dotnet v3 composite
  • actions/upload-artifact v3 composite
Source/DafnyRuntime/DafnyRuntimeRust/Cargo.lock cargo
  • autocfg 1.1.0
  • either 1.9.0
  • itertools 0.11.0
  • num 0.4.1
  • num-bigint 0.4.3
  • num-complex 0.4.4
  • num-integer 0.1.45
  • num-iter 0.1.43
  • num-rational 0.4.1
  • num-traits 0.2.16
  • once_cell 1.18.0
  • paste 1.0.14
Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml cargo
Source/DafnyRuntime/DafnyRuntimeJava/build.gradle maven
  • org.junit.jupiter:junit-jupiter-engine 5.5.2 testImplementation
Test/benchmarks/sequence-race/java/build.gradle.kts maven
  • org.dafny:DafnyRuntime 4.2.0 implementation
  • org.junit.jupiter:junit-jupiter-api 5.9.2 testImplementation
  • org.junit.jupiter:junit-jupiter-engine * testRuntimeOnly
Source/AutoExtern/AutoExtern.csproj nuget
  • 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
  • System.CommandLine 2.0.0-beta4.22272.1
Source/AutoExtern.Test/AutoExtern.Test.csproj nuget
  • Microsoft.NET.Test.Sdk 16.11.0
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/AutoExtern.Test/Minimal/Library.csproj nuget
Source/AutoExtern.Test/Tutorial/ClientApp/ClientApp.csproj nuget
Source/AutoExtern.Test/Tutorial/Library/Library.csproj nuget
Source/Dafny/Dafny.csproj nuget
Source/DafnyBenchmarkingPlugin/DafnyBenchmarkingPlugin.csproj nuget
Source/DafnyCore/DafnyCore.csproj nuget
  • Boogie.ExecutionEngine 3.0.4
  • JetBrains.Annotations 2021.1.0
  • Microsoft.CodeAnalysis.CSharp 3.7.0
  • Microsoft.Extensions.FileSystemGlobbing 5.0.0
  • Microsoft.Extensions.Logging.Abstractions 5.0.0
  • System.Collections.Immutable 1.7.0
  • System.CommandLine 2.0.0-beta4.22272.1
  • System.Runtime.Numerics 4.3.0
  • Tomlyn 0.16.2
Source/DafnyCore.Test/DafnyCore.Test.csproj nuget
  • Microsoft.NET.Test.Sdk 17.1.0
  • coverlet.collector 3.2.0
  • xunit 2.4.1
  • xunit.runner.visualstudio 2.4.3
Source/DafnyDriver/DafnyDriver.csproj nuget
  • 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
Source/DafnyDriver.Test/DafnyDriver.Test.csproj nuget
  • Microsoft.NET.Test.Sdk 17.1.0
  • OmniSharp.Extensions.JsonRpc 0.19.5
  • OmniSharp.Extensions.LanguageProtocol 0.19.5
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.extensibility.core 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/DafnyLanguageServer/DafnyLanguageServer.csproj nuget
  • 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
Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj nuget
  • DiffPlex 1.7.0
  • Microsoft.CodeAnalysis.CSharp 3.7.0
  • Microsoft.Extensions.Logging.Console 5.0.0
  • Microsoft.NET.Test.Sdk 17.1.0
  • Moq 4.16.1
  • OmniSharp.Extensions.LanguageProtocol.Testing 0.19.5
  • Serilog.Sinks.InMemory 0.11.0
  • Xunit.AssertMessages 2.4.0
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.extensibility.core 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/DafnyPipeline/DafnyPipeline.csproj nuget
Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj nuget
  • DiffPlex 1.7.0
  • Microsoft.NET.Test.Sdk 17.1.0
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/DafnyRuntime/DafnyRuntime.csproj nuget
  • System.Collections.Immutable 1.7.0
  • System.Runtime.Numerics 4.3.0
Source/DafnyRuntime/packages.config nuget
  • System.Collections.Immutable 1.7.0
  • System.Runtime 4.3.1
Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj nuget
  • Microsoft.NET.Test.Sdk 16.11.0
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/DafnyServer/DafnyServer.csproj nuget
Source/DafnyTestGeneration/DafnyTestGeneration.csproj nuget
Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj nuget
  • Microsoft.NET.Test.Sdk 17.1.0
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.extensibility.core 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/IntegrationTests/IntegrationTests.csproj nuget
  • Microsoft.NET.Test.Sdk 16.11.0
  • coverlet.collector 3.2.0
  • xunit 2.4.2
  • xunit.runner.visualstudio 2.5.1
Source/TestDafny/TestDafny.csproj nuget
  • CommandLineParser 2.9.1
  • xunit 2.4.2
  • xunit.runner.visualstudio 2.4.3
Source/XUnitExtensions/XUnitExtensions.csproj nuget
  • 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.2.0
  • xunit 2.4.2
  • xunit.runner.visualstudio 2.4.3
Test/DafnyTests/DafnyTests.csproj nuget
Test/comp/manualcompile/ManualCompile.csproj nuget
Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj nuget
Test/comp/separate-compilation/consumer/Consumer.csproj nuget
Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj nuget
  • Antlr4.CodeGenerator 4.6.6
  • antlr4.runtime 4.6.6
docs/Gemfile rubygems
  • github-pages ~> 228 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 2.0
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
docs/Gemfile.lock rubygems
  • activesupport 7.0.7.2
  • addressable 2.8.4
  • bundler 2.4.13
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.10
  • concurrent-ruby 1.2.2
  • dnsruby 1.70.0
  • em-websocket 0.5.3
  • ethon 0.16.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.7.5
  • faraday-net_http 3.0.2
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 228
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.3
  • http_parser.rb 0.8.0
  • i18n 1.14.1
  • jekyll 3.9.3
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.4.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.2
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.4
  • listen 3.8.0
  • mercenary 0.3.6
  • mini_portile2 2.8.2
  • minima 2.5.1
  • minitest 5.19.0
  • nokogiri 1.14.3
  • octokit 4.25.1
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.2
  • rb-fsevent 0.11.2
  • 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
  • typhoeus 1.4.0
  • tzinfo 2.0.6
  • tzinfo-data 1.2023.3
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • wdm 0.1.1
.github/workflows/nightly-build-manual.yml actions
.github/workflows/nightly-build-reusable.yml actions
  • actions/checkout v3 composite
.github/workflows/nightly-build.yml actions