{"id":37111,"name":"vellvm","description":"The Vellvm (Verified LLVM) coq development.","url":"https://github.com/vellvm/vellvm","last_synced_at":"2025-09-05T07:20:06.894Z","repository":{"id":37664720,"uuid":"87421049","full_name":"vellvm/vellvm","owner":"vellvm","description":"The Vellvm (Verified LLVM) coq development.","archived":false,"fork":false,"pushed_at":"2025-08-31T19:07:28.000Z","size":22625,"stargazers_count":442,"open_issues_count":121,"forks_count":37,"subscribers_count":20,"default_branch":"dev","last_synced_at":"2025-08-31T21:16:46.727Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"LLVM","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/vellvm.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2017-04-06T11:21:21.000Z","updated_at":"2025-08-31T19:07:32.000Z","dependencies_parsed_at":"2023-12-19T23:00:26.061Z","dependency_job_id":"31390e91-8c75-45a6-8fea-e7d9cc317075","html_url":"https://github.com/vellvm/vellvm","commit_stats":null,"previous_names":[],"tags_count":14,"template":false,"template_full_name":null,"purl":"pkg:github/vellvm/vellvm","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vellvm","download_url":"https://codeload.github.com/vellvm/vellvm/tar.gz/refs/heads/dev","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm/sbom","scorecard":{"id":409862,"data":{"date":"2025-08-11","repo":{"name":"github.com/vellvm/vellvm","commit":"5a78dc8c0ed11ab88ab316a51415f1ebb78cd434"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.1,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":2,"reason":"Found 4/17 approved changesets -- score normalized to 2","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/test.yml:1","Warn: no topLevel permission defined: .github/workflows/vellvm.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE.md:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v2.2.20250710 not signed: https://api.github.com/repos/vellvm/vellvm/releases/231498329","Warn: release artifact v2.1.20250327 not signed: https://api.github.com/repos/vellvm/vellvm/releases/208665451","Warn: release artifact v2.0.20250110 not signed: https://api.github.com/repos/vellvm/vellvm/releases/194166934","Warn: release artifact v1.0.20240627 not signed: https://api.github.com/repos/vellvm/vellvm/releases/162864914","Warn: release artifact v1.0.20240610 not signed: https://api.github.com/repos/vellvm/vellvm/releases/159733847","Warn: release artifact v2.2.20250710 does not have provenance: https://api.github.com/repos/vellvm/vellvm/releases/231498329","Warn: release artifact v2.1.20250327 does not have provenance: https://api.github.com/repos/vellvm/vellvm/releases/208665451","Warn: release artifact v2.0.20250110 does not have provenance: https://api.github.com/repos/vellvm/vellvm/releases/194166934","Warn: release artifact v1.0.20240627 does not have provenance: https://api.github.com/repos/vellvm/vellvm/releases/162864914","Warn: release artifact v1.0.20240610 does not have provenance: https://api.github.com/repos/vellvm/vellvm/releases/159733847"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'dev'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:12: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/test.yml/dev?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/test.yml/dev?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/test.yml/dev?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:29: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/test.yml/dev?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:30: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/test.yml/dev?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:33: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/test.yml/dev?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/vellvm.yml:23: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/vellvm.yml/dev?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/vellvm.yml:26: update your workflow using https://app.stepsecurity.io/secureworkflow/vellvm/vellvm/vellvm.yml/dev?enable=pin","Info:   0 out of   3 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   5 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 17 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-18T22:25:00.706Z","repository_id":37664720,"created_at":"2025-08-18T22:25:00.707Z","updated_at":"2025-08-18T22:25:00.707Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273724301,"owners_count":25156509,"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-05T02:00:09.113Z","response_time":402,"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":"vellvm","name":"vellvm","uuid":"8493848","kind":"organization","description":null,"email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/8493848?v=4","repositories_count":4,"last_synced_at":"2024-04-08T04:31:56.925Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/vellvm","funding_links":[],"total_stars":432,"followers":3,"following":0,"created_at":"2022-11-09T08:03:09.707Z","updated_at":"2024-04-08T04:31:57.851Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vellvm","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vellvm/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"vellvm/vellvm","html_url":"https://github.com/vellvm/vellvm","last_synced_at":"2025-08-31T16:27:33.021Z","status":null,"issues_count":7,"pull_requests_count":6,"avg_time_to_close_issue":19581957.75,"avg_time_to_close_pull_request":13835282.0,"issues_closed_count":4,"pull_requests_closed_count":3,"pull_request_authors_count":3,"issue_authors_count":5,"avg_comments_per_issue":1.5714285714285714,"avg_comments_per_pull_request":1.3333333333333333,"merged_pull_requests_count":2,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":6,"past_year_pull_requests_count":5,"past_year_avg_time_to_close_issue":238916.0,"past_year_avg_time_to_close_pull_request":152527.0,"past_year_issues_closed_count":3,"past_year_pull_requests_closed_count":2,"past_year_pull_request_authors_count":2,"past_year_issue_authors_count":4,"past_year_avg_comments_per_issue":1.5,"past_year_avg_comments_per_pull_request":1.2,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":2,"created_at":"2025-07-16T12:49:38.099Z","updated_at":"2025-09-03T04:47:29.253Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/vellvm%2Fvellvm/issues","issue_labels_count":{"Semantics":7,"bug":5,"enhancement":5,"quickchick":4,"important":3,"qc-discovered-bug":3,"shrinking":2,"help wanted":2,"testing":2,"build issue":1,"error messages":1,"cleanup":1,"Memory Model":1,"yarpgenv2-discovered-bug":1,"performance":1,"admit":1,"writing":1,"Proofs":1,"question":1,"runtime":1,"rust":1},"pull_request_labels_count":{"quickchick":1},"issue_author_associations_count":{"MEMBER":17,"NONE":8,"CONTRIBUTOR":2},"pull_request_author_associations_count":{"CONTRIBUTOR":9,"MEMBER":4,"NONE":4},"issue_authors":{"Chobbes":17,"klausnat":2,"rsofaer":2,"hanxic":1,"paul-snively":1,"Ptival":1,"YaZko":1,"math-fehr":1,"davidtr1037":1},"pull_request_authors":{"rogerburtonpatel":5,"Chobbes":4,"Zdancewic":3,"lastland":1,"hanxic":1,"YaZko":1,"Lysxia":1,"Ef55":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10064112,"issues_count":31107923,"pull_requests_count":94585898,"authors_count":10686956,"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":{"rust":1,"runtime":1,"question":1,"Semantics":1,"enhancement":1,"testing":1,"shrinking":1},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"NONE":4,"MEMBER":3,"CONTRIBUTOR":1},"past_year_pull_request_author_associations_count":{"MEMBER":3,"CONTRIBUTOR":3,"NONE":1},"past_year_issue_authors":{"Chobbes":3,"davidtr1037":1,"hanxic":1,"math-fehr":1,"Ptival":1,"rsofaer":1},"past_year_pull_request_authors":{"Zdancewic":3,"Chobbes":3,"Ef55":1},"maintainers":[{"login":"Chobbes","count":21,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Chobbes"}],"active_maintainers":[{"login":"Chobbes","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Chobbes"}]},"events":{"total":{"CreateEvent":35,"ReleaseEvent":3,"IssuesEvent":14,"WatchEvent":36,"DeleteEvent":16,"IssueCommentEvent":40,"PushEvent":201,"PullRequestEvent":11,"ForkEvent":2},"last_year":{"CreateEvent":35,"ReleaseEvent":3,"IssuesEvent":14,"WatchEvent":36,"DeleteEvent":16,"IssueCommentEvent":40,"PushEvent":201,"PullRequestEvent":11,"ForkEvent":2}},"keywords":[],"dependencies":[],"score":null,"created_at":"2025-09-04T15:51:10.780Z","updated_at":"2025-10-07T08:15:17.687Z","avatar_url":"https://github.com/vellvm.png","language":"LLVM","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":["https://doi.org/10.1145/3547630"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/37111","html_url":"https://science.ecosyste.ms/projects/37111","bibtex_url":"https://science.ecosyste.ms/projects/37111/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/37111/export.apalike"}