{"id":7437,"name":"vericert","description":"A formally verified high-level synthesis tool based on CompCert and written in Coq.","url":"https://github.com/ymherklotz/vericert","last_synced_at":"2025-09-04T19:38:24.866Z","repository":{"id":39632482,"uuid":"212417092","full_name":"ymherklotz/vericert","owner":"ymherklotz","description":"A formally verified high-level synthesis tool based on CompCert and written in Coq.","archived":false,"fork":false,"pushed_at":"2024-06-20T19:40:51.000Z","size":23897,"stargazers_count":92,"open_issues_count":4,"forks_count":5,"subscribers_count":11,"default_branch":"master","last_synced_at":"2025-06-10T11:12:33.949Z","etag":null,"topics":["coq","high-level-synthesis"],"latest_commit_sha":null,"homepage":"https://vericert.ymhg.org","language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ymherklotz.png","metadata":{"files":{"readme":"README.org","changelog":"ChangeLog.org","contributing":null,"funding":null,"license":"LICENSE","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}},"created_at":"2019-10-02T18:48:56.000Z","updated_at":"2025-05-12T07:48:18.000Z","dependencies_parsed_at":"2024-09-14T02:01:53.746Z","dependency_job_id":"d384ac3c-fbce-4c22-a6d7-9f5ffa03fd48","html_url":"https://github.com/ymherklotz/vericert","commit_stats":{"total_commits":1122,"total_committers":5,"mean_commits":224.4,"dds":0.1114081996434938,"last_synced_commit":"894337686659182644df3dea5f38fc999d12a4e9"},"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/ymherklotz/vericert","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ymherklotz","download_url":"https://codeload.github.com/ymherklotz/vericert/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273663149,"owners_count":25146268,"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-04T02:00:08.968Z","response_time":61,"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":"ymherklotz","name":"Yann Herklotz","uuid":"20495318","kind":"user","description":"Postdoc at EPFL in the Verification and Computer Architecture lab.","email":"","website":"https://yannherklotz.com","location":"Lausanne","twitter":null,"company":"EPFL","icon_url":"https://avatars.githubusercontent.com/u/20495318?u=3cd6a2710c5d6ded6dd70a86bdc6897341c9be68\u0026v=4","repositories_count":59,"last_synced_at":"2024-12-06T20:40:55.387Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/ymherklotz","funding_links":[],"total_stars":292,"followers":126,"following":81,"created_at":"2022-11-16T16:08:42.255Z","updated_at":"2024-12-06T20:40:55.388Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ymherklotz","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ymherklotz/repositories"},"packages":[{"id":11784771,"name":"github.com/ymherklotz/vericert","ecosystem":"go","description":null,"homepage":null,"licenses":"gpl-3.0","normalized_licenses":["GPL-3.0"],"repository_url":"https://github.com/ymherklotz/vericert","keywords_array":[],"namespace":null,"versions_count":7,"first_release_published_at":"2025-06-10T10:53:07.873Z","latest_release_published_at":"2021-10-01T18:42:17.000Z","latest_release_number":"v1.2.2","last_synced_at":"2025-08-12T16:04:23.538Z","created_at":"2025-06-10T10:53:00.450Z","updated_at":"2025-08-12T16:04:23.539Z","registry_url":"https://pkg.go.dev/github.com/ymherklotz/vericert","install_command":"go get github.com/ymherklotz/vericert","documentation_url":"https://pkg.go.dev/github.com/ymherklotz/vericert#section-documentation","metadata":{},"repo_metadata":{"id":39632482,"uuid":"212417092","full_name":"ymherklotz/vericert","owner":"ymherklotz","description":"A formally verified high-level synthesis tool based on CompCert and written in Coq.","archived":false,"fork":false,"pushed_at":"2024-06-20T19:40:51.000Z","size":23897,"stargazers_count":90,"open_issues_count":4,"forks_count":5,"subscribers_count":11,"default_branch":"master","last_synced_at":"2025-04-13T21:30:17.207Z","etag":null,"topics":["coq","high-level-synthesis"],"latest_commit_sha":null,"homepage":"https://vericert.ymhg.org","language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ymherklotz.png","metadata":{"files":{"readme":"README.org","changelog":"ChangeLog.org","contributing":null,"funding":null,"license":"LICENSE","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}},"created_at":"2019-10-02T18:48:56.000Z","updated_at":"2025-03-24T18:32:41.000Z","dependencies_parsed_at":"2024-09-14T02:01:53.746Z","dependency_job_id":"d384ac3c-fbce-4c22-a6d7-9f5ffa03fd48","html_url":"https://github.com/ymherklotz/vericert","commit_stats":{"total_commits":1122,"total_committers":5,"mean_commits":224.4,"dds":0.1114081996434938,"last_synced_commit":"894337686659182644df3dea5f38fc999d12a4e9"},"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ymherklotz","download_url":"https://codeload.github.com/ymherklotz/vericert/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259063395,"owners_count":22799711,"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","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"}},"repo_metadata_updated_at":"2025-06-10T10:58:27.974Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":5.729392385116089,"dependent_packages_count":5.3688778542056586,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":5.549135119660874},"purl":"pkg:golang/github.com/ymherklotz/vericert","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/ymherklotz/vericert","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/ymherklotz/vericert","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/ymherklotz/vericert/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-04-13T21:25:19.383Z","issues_count":7,"pull_requests_count":9,"avg_time_to_close_issue":306691.5,"avg_time_to_close_pull_request":3520094.0,"issues_closed_count":4,"pull_requests_closed_count":8,"pull_request_authors_count":5,"issue_authors_count":5,"avg_comments_per_issue":1.8571428571428572,"avg_comments_per_pull_request":0.2222222222222222,"merged_pull_requests_count":7,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/issues","maintainers":[{"login":"ymherklotz","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ymherklotz"},{"login":"jianyicheng","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jianyicheng"},{"login":"p0llard","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/p0llard"},{"login":"dwRchyngqxs","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dwRchyngqxs"},{"login":"johnwickerson","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/johnwickerson"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fymherklotz%2Fvericert/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fymherklotz%2Fvericert/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fymherklotz%2Fvericert/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fymherklotz%2Fvericert/related_packages","maintainers":[],"registry":{"name":"proxy.golang.org","url":"https://proxy.golang.org","ecosystem":"go","default":true,"packages_count":1951493,"maintainers_count":0,"namespaces_count":741113,"keywords_count":109139,"github":"golang","metadata":{"funded_packages_count":48962},"icon_url":"https://github.com/golang.png","created_at":"2022-04-04T15:19:22.939Z","updated_at":"2025-09-04T05:53:31.480Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/namespaces"}}],"commits":{"id":1684627,"full_name":"ymherklotz/vericert","default_branch":"master","committers":[{"name":"Yann Herklotz","email":"git@yannherklotz.com","login":"ymherklotz","count":997},{"name":"James Pollard","email":"james@pollard.dev","login":"p0llard","count":70},{"name":"Nadesh Ramanathan","email":"nadeshramanathan88@gmail.com","login":"nadeshr","count":52},{"name":"Jianyi Cheng","email":"jcheng@Jianyis-Beast.home.ukb","login":null,"count":2},{"name":"Yann Herklotz","email":"git@ymhg.org","login":null,"count":1}],"total_commits":1122,"total_committers":5,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":224.4,"dds":0.1114081996434938,"past_year_committers":[{"name":"Yann Herklotz","email":"git@yannherklotz.com","login":"ymherklotz","count":5}],"past_year_total_commits":5,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":5.0,"past_year_dds":0.0,"last_synced_at":"2024-12-19T05:34:50.212Z","last_synced_commit":"894337686659182644df3dea5f38fc999d12a4e9","created_at":"2024-09-04T19:44:18.989Z","updated_at":"2024-12-19T05:34:51.906Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"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":"ymherklotz/vericert","html_url":"https://github.com/ymherklotz/vericert","last_synced_at":"2025-06-10T10:58:28.618Z","status":null,"issues_count":7,"pull_requests_count":9,"avg_time_to_close_issue":306691.5,"avg_time_to_close_pull_request":3520094.0,"issues_closed_count":4,"pull_requests_closed_count":8,"pull_request_authors_count":5,"issue_authors_count":5,"avg_comments_per_issue":1.8571428571428572,"avg_comments_per_pull_request":0.2222222222222222,"merged_pull_requests_count":7,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2024-09-04T19:44:30.630Z","updated_at":"2025-08-29T14:37:14.237Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert/issues","issue_labels_count":{"bug":1},"pull_request_labels_count":{},"issue_author_associations_count":{"NONE":3,"COLLABORATOR":3,"OWNER":2},"pull_request_author_associations_count":{"COLLABORATOR":5,"OWNER":2,"NONE":2},"issue_authors":{"ymherklotz":2,"jianyicheng":2,"GTRI-hannah":1,"wky17":1,"nanoeng":1,"johnwickerson":1},"pull_request_authors":{"p0llard":3,"ymherklotz":2,"mpardalos":2,"dwRchyngqxs":1,"jianyicheng":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10081278,"issues_count":31309649,"pull_requests_count":96179394,"authors_count":10693642,"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":{"NONE":1},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{"GTRI-hannah":1},"past_year_pull_request_authors":{},"maintainers":[{"login":"ymherklotz","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ymherklotz"},{"login":"p0llard","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/p0llard"},{"login":"jianyicheng","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jianyicheng"},{"login":"dwRchyngqxs","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dwRchyngqxs"},{"login":"johnwickerson","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/johnwickerson"}],"active_maintainers":[]},"events":{"total":{"IssuesEvent":1,"WatchEvent":5,"IssueCommentEvent":1},"last_year":{"IssuesEvent":1,"WatchEvent":5,"IssueCommentEvent":1}},"keywords":["coq","high-level-synthesis"],"dependencies":[{"ecosystem":"docker","filepath":"scripts/docker/Dockerfile","sha":null,"kind":"manifest","created_at":"2023-02-16T01:15:39.850Z","updated_at":"2023-02-16T01:15:39.850Z","repository_link":"https://github.com/ymherklotz/vericert/blob/master/scripts/docker/Dockerfile","dependencies":[{"id":7697767795,"package_name":"nixos/nix","ecosystem":"docker","requirements":"latest","direct":true,"kind":"build","optional":false}]}],"score":null,"created_at":"2025-09-04T15:50:23.825Z","updated_at":"2025-10-07T08:05:58.700Z","avatar_url":"https://github.com/ymherklotz.png","language":"Coq","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/7437","html_url":"https://science.ecosyste.ms/projects/7437","bibtex_url":"https://science.ecosyste.ms/projects/7437/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/7437/export.apalike"}