{"id":202404,"name":null,"description":"Dafny plugin for Gradle","url":"https://github.com/dafny-lang/dafny-gradle-plugin","last_synced_at":"2025-09-11T07:57:26.618Z","repository":{"id":164176220,"uuid":"608319344","full_name":"dafny-lang/dafny-gradle-plugin","owner":"dafny-lang","description":"Dafny plugin for Gradle","archived":false,"fork":false,"pushed_at":"2025-01-10T17:30:24.000Z","size":138,"stargazers_count":2,"open_issues_count":7,"forks_count":2,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-04-13T20:15:11.936Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dafny-lang.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2023-03-01T19:19:22.000Z","updated_at":"2025-04-06T01:39:27.000Z","dependencies_parsed_at":"2024-12-19T21:19:30.349Z","dependency_job_id":"f477c5e4-5ecf-4ac0-8c70-a4ab23e122ed","html_url":"https://github.com/dafny-lang/dafny-gradle-plugin","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dafny-lang/dafny-gradle-plugin","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang","download_url":"https://codeload.github.com/dafny-lang/dafny-gradle-plugin/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274598386,"owners_count":25314458,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-11T02:00:13.660Z","response_time":74,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"dafny-lang","name":"Dafny","uuid":"52358127","kind":"organization","description":"Dafny is a verification-aware programming language","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/52358127?v=4","repositories_count":13,"last_synced_at":"2023-03-03T04:15:52.605Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/dafny-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-13T17:05:52.961Z","updated_at":"2023-03-03T04:15:52.723Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang/repositories"},"packages":[],"commits":{"id":7939810,"full_name":"dafny-lang/dafny-gradle-plugin","default_branch":"master","committers":null,"total_commits":null,"total_committers":null,"total_bot_commits":null,"total_bot_committers":null,"mean_commits":null,"dds":null,"past_year_committers":null,"past_year_total_commits":null,"past_year_total_committers":null,"past_year_total_bot_commits":null,"past_year_total_bot_committers":null,"past_year_mean_commits":null,"past_year_dds":null,"last_synced_at":null,"last_synced_commit":null,"created_at":"2024-12-24T00:17:33.798Z","updated_at":"2024-12-24T00:17:33.798Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-11T02:23:18.710Z","repositories_count":5576069,"commits_count":889549374,"contributors_count":33118335,"owners_count":922592,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"dafny-lang/dafny-gradle-plugin","html_url":"https://github.com/dafny-lang/dafny-gradle-plugin","last_synced_at":"2025-08-31T08:16:56.542Z","status":null,"issues_count":10,"pull_requests_count":17,"avg_time_to_close_issue":1114138.0,"avg_time_to_close_pull_request":101983.06666666667,"issues_closed_count":3,"pull_requests_closed_count":15,"pull_request_authors_count":2,"issue_authors_count":1,"avg_comments_per_issue":0.2,"avg_comments_per_pull_request":0.29411764705882354,"merged_pull_requests_count":14,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":5,"past_year_pull_requests_count":14,"past_year_avg_time_to_close_issue":1037590.0,"past_year_avg_time_to_close_pull_request":100107.33333333333,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":12,"past_year_pull_request_authors_count":2,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.2,"past_year_avg_comments_per_pull_request":0.21428571428571427,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":11,"created_at":"2024-12-24T00:17:34.078Z","updated_at":"2025-09-03T04:48:08.532Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny-gradle-plugin/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{"MEMBER":9},"pull_request_author_associations_count":{"MEMBER":10,"COLLABORATOR":5,"CONTRIBUTOR":2,"NONE":1},"issue_authors":{"robin-aws":9},"pull_request_authors":{"robin-aws":10,"hillcg-aws":8},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10058116,"issues_count":30985287,"pull_requests_count":93679802,"authors_count":10684821,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"MEMBER":5},"past_year_pull_request_author_associations_count":{"MEMBER":7,"COLLABORATOR":5,"CONTRIBUTOR":2,"NONE":1},"past_year_issue_authors":{"robin-aws":5},"past_year_pull_request_authors":{"hillcg-aws":8,"robin-aws":7},"maintainers":[{"login":"robin-aws","count":19,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/robin-aws"},{"login":"hillcg-aws","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/hillcg-aws"}],"active_maintainers":[{"login":"robin-aws","count":12,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/robin-aws"},{"login":"hillcg-aws","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/hillcg-aws"}]},"events":{"total":{"IssuesEvent":7,"WatchEvent":2,"MemberEvent":1,"IssueCommentEvent":3,"PushEvent":6,"PullRequestReviewCommentEvent":5,"PullRequestEvent":13,"PullRequestReviewEvent":16,"ForkEvent":2,"CreateEvent":1},"last_year":{"IssuesEvent":7,"WatchEvent":2,"MemberEvent":1,"IssueCommentEvent":3,"PushEvent":6,"PullRequestReviewCommentEvent":5,"PullRequestEvent":13,"PullRequestReviewEvent":16,"ForkEvent":2,"CreateEvent":1}},"keywords":[],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/gradle.yml","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:31.705Z","updated_at":"2023-09-02T10:16:31.705Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/.github/workflows/gradle.yml","dependencies":[{"id":13276080231,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13276080232,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13276080233,"package_name":"dafny-lang/setup-dafny-action","ecosystem":"actions","requirements":"v1.6.1","direct":true,"kind":"composite","optional":false},{"id":13276080234,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"maven","filepath":"build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:31.784Z","updated_at":"2023-09-02T10:16:31.784Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/build.gradle.kts","dependencies":[{"id":13276080235,"package_name":"org.junit.jupiter:junit-jupiter","ecosystem":"maven","requirements":"5.9.1","direct":true,"kind":"testImplementation","optional":false}]},{"ecosystem":"maven","filepath":"examples/multi-project/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:31.831Z","updated_at":"2023-09-02T10:16:31.831Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/multi-project/build.gradle.kts","dependencies":[]},{"ecosystem":"maven","filepath":"examples/multi-project/consumer/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:31.930Z","updated_at":"2023-09-02T10:16:31.930Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/multi-project/consumer/build.gradle.kts","dependencies":[{"id":13276080236,"package_name":"org.dafny:DafnyRuntime","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"maven","filepath":"examples/multi-project/producer/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.116Z","updated_at":"2023-09-02T10:16:32.116Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/multi-project/producer/build.gradle.kts","dependencies":[{"id":13276080237,"package_name":"org.dafny:DafnyRuntime","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"maven","filepath":"examples/multi-project-incompatible/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.210Z","updated_at":"2023-09-02T10:16:32.210Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/multi-project-incompatible/build.gradle.kts","dependencies":[]},{"ecosystem":"maven","filepath":"examples/multi-project-incompatible/consumer/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.292Z","updated_at":"2023-09-02T10:16:32.292Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/multi-project-incompatible/consumer/build.gradle.kts","dependencies":[{"id":13276080245,"package_name":"org.dafny:DafnyRuntime","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"maven","filepath":"examples/multi-project-incompatible/producer/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.367Z","updated_at":"2023-09-02T10:16:32.367Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/multi-project-incompatible/producer/build.gradle.kts","dependencies":[{"id":13276080252,"package_name":"org.dafny:DafnyRuntime","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"maven","filepath":"examples/no-dafny/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.434Z","updated_at":"2023-09-02T10:16:32.434Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/no-dafny/build.gradle.kts","dependencies":[]},{"ecosystem":"maven","filepath":"examples/simple-verify/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.480Z","updated_at":"2023-09-02T10:16:32.480Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/simple-verify/build.gradle.kts","dependencies":[]},{"ecosystem":"maven","filepath":"examples/wrong-dafny-version/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2023-09-02T10:16:32.507Z","updated_at":"2023-09-02T10:16:32.507Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/wrong-dafny-version/build.gradle.kts","dependencies":[]},{"ecosystem":"maven","filepath":"examples/using-standard-libraries/build.gradle.kts","sha":null,"kind":"manifest","created_at":"2024-12-19T21:19:27.982Z","updated_at":"2024-12-19T21:19:27.982Z","repository_link":"https://github.com/dafny-lang/dafny-gradle-plugin/blob/main/examples/using-standard-libraries/build.gradle.kts","dependencies":[{"id":21220138161,"package_name":"org.dafny:DafnyRuntime","ecosystem":"maven","requirements":"4.9.0","direct":true,"kind":"implementation","optional":false}]}],"score":null,"created_at":"2025-09-09T04:07:28.772Z","updated_at":"2025-10-07T08:43:46.970Z","avatar_url":"https://github.com/dafny-lang.png","language":"Java","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/202404","html_url":"https://science.ecosyste.ms/projects/202404"}