{"id":92451,"name":null,"description":"Compiling Agda code to readable Haskell","url":"https://github.com/agda/agda2hs","last_synced_at":"2025-09-09T00:46:02.305Z","repository":{"id":40350945,"uuid":"305718320","full_name":"agda/agda2hs","owner":"agda","description":"Compiling Agda code to readable Haskell","archived":false,"fork":false,"pushed_at":"2025-07-30T12:52:28.000Z","size":5572,"stargazers_count":190,"open_issues_count":72,"forks_count":43,"subscribers_count":22,"default_branch":"master","last_synced_at":"2025-09-02T03:43:15.557Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://agda.github.io/agda2hs","language":"Agda","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/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","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,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2020-10-20T13:32:51.000Z","updated_at":"2025-07-30T12:50:15.000Z","dependencies_parsed_at":"2023-10-22T10:37:59.996Z","dependency_job_id":"2bf5b703-38e8-47b8-afd6-bcc98b1c984d","html_url":"https://github.com/agda/agda2hs","commit_stats":null,"previous_names":[],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda2hs","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274231029,"owners_count":25245688,"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-08T02:00:09.813Z","response_time":121,"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":"agda","name":"Agda Github Community","uuid":"410000","kind":"organization","description":"","email":null,"website":"https://wiki.portal.chalmers.se/agda","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/410000?v=4","repositories_count":32,"last_synced_at":"2024-03-26T00:04:58.562Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/agda","funding_links":[],"total_stars":4326,"followers":108,"following":0,"created_at":"2022-11-02T22:21:43.583Z","updated_at":"2024-03-26T00:04:58.715Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda/repositories"},"packages":[{"id":11745347,"name":"github.com/agda/agda2hs","ecosystem":"go","description":null,"homepage":null,"licenses":"mit","normalized_licenses":["MIT"],"repository_url":"https://github.com/agda/agda2hs","keywords_array":[],"namespace":null,"versions_count":4,"first_release_published_at":"2023-03-28T14:27:11.000Z","latest_release_published_at":"2023-12-06T09:44:35.000Z","latest_release_number":"v1.1.20231206","last_synced_at":"2025-09-02T03:56:19.358Z","created_at":"2025-06-07T10:09:10.683Z","updated_at":"2025-09-02T04:07:57.718Z","registry_url":"https://pkg.go.dev/github.com/agda/agda2hs","install_command":"go get github.com/agda/agda2hs","documentation_url":"https://pkg.go.dev/github.com/agda/agda2hs#section-documentation","metadata":{},"repo_metadata":{"id":40350945,"uuid":"305718320","full_name":"agda/agda2hs","owner":"agda","description":"Compiling Agda code to readable Haskell","archived":false,"fork":false,"pushed_at":"2025-07-30T12:52:28.000Z","size":5572,"stargazers_count":190,"open_issues_count":71,"forks_count":42,"subscribers_count":22,"default_branch":"master","last_synced_at":"2025-07-30T15:21:27.822Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://agda.github.io/agda2hs","language":"Agda","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/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","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":"2020-10-20T13:32:51.000Z","updated_at":"2025-07-30T12:50:15.000Z","dependencies_parsed_at":"2023-10-22T10:37:59.996Z","dependency_job_id":"2bf5b703-38e8-47b8-afd6-bcc98b1c984d","html_url":"https://github.com/agda/agda2hs","commit_stats":null,"previous_names":[],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda2hs","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273225009,"owners_count":25067208,"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-02T02:00:09.530Z","response_time":77,"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_record":{"login":"agda","name":"Agda Github Community","uuid":"410000","kind":"organization","description":"","email":null,"website":"https://wiki.portal.chalmers.se/agda","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/410000?v=4","repositories_count":32,"last_synced_at":"2024-03-26T00:04:58.562Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/agda","funding_links":[],"total_stars":4326,"followers":108,"following":0,"created_at":"2022-11-02T22:21:43.583Z","updated_at":"2024-03-26T00:04:58.715Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda/repositories"},"tags":[{"name":"v1.3","sha":"b5d7c0e30e15edf274ff0a26188bd1f9b26673ff","kind":"commit","published_at":"2024-10-04T13:16:24.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.3","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.3/manifests"},{"name":"v1.2","sha":"b269164e15da03b74cf43b51c522f4f052b4af80","kind":"commit","published_at":"2023-12-11T15:07:56.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.2","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.2/manifests"},{"name":"v1.1.20231206","sha":"3fc10be701428879e4881743e9b1072307347e04","kind":"commit","published_at":"2023-12-06T09:44:35.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.1.20231206","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.1.20231206","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.1.20231206","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.1.20231206","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.1.20231206/manifests"},{"name":"v1.1.20231204","sha":"80cc21a27b605114775623a9a4ac02fcecac1732","kind":"commit","published_at":"2023-12-04T16:59:32.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.1.20231204","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.1.20231204","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.1.20231204","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.1.20231204","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.1.20231204/manifests"},{"name":"v1.1","sha":"520bc37718dd33c4ddf8118d608eb73f21885bee","kind":"tag","published_at":"2023-10-23T09:27:22.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.1","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.1/manifests"},{"name":"v1.0.20231012","sha":"1c24b61bf1684aed3d018f5cec79d77278e6020c","kind":"tag","published_at":"2023-10-12T16:12:07.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.0.20231012","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.0.20231012","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.0.20231012","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.0.20231012","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.0.20231012/manifests"},{"name":"v1.0","sha":"e051ea7ce0e3318ee33f8b4b92c90a73f20ab4bb","kind":"tag","published_at":"2023-04-07T10:03:54.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v1.0","html_url":"https://github.com/agda/agda2hs/releases/tag/v1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v1.0/manifests"},{"name":"v0.1.20230328","sha":"79e5f9f182ef5ed147e3d08303d61e66c05a33c7","kind":"tag","published_at":"2023-03-28T14:35:13.000Z","download_url":"https://codeload.github.com/agda/agda2hs/tar.gz/v0.1.20230328","html_url":"https://github.com/agda/agda2hs/releases/tag/v0.1.20230328","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda2hs@v0.1.20230328","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v0.1.20230328","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/tags/v0.1.20230328/manifests"}]},"repo_metadata_updated_at":"2025-09-02T04:07:57.717Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":5.750499235214139,"dependent_packages_count":5.388553704962611,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":5.569526470088375},"purl":"pkg:golang/github.com/agda/agda2hs","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/agda/agda2hs","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/agda/agda2hs","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/agda/agda2hs/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-31T07:56:10.613Z","issues_count":62,"pull_requests_count":86,"avg_time_to_close_issue":11735229.485714287,"avg_time_to_close_pull_request":1376574.8309859154,"issues_closed_count":35,"pull_requests_closed_count":71,"pull_request_authors_count":15,"issue_authors_count":21,"avg_comments_per_issue":2.129032258064516,"avg_comments_per_pull_request":1.3604651162790697,"merged_pull_requests_count":68,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":24,"past_year_pull_requests_count":58,"past_year_avg_time_to_close_issue":3418933.25,"past_year_avg_time_to_close_pull_request":626391.5744680851,"past_year_issues_closed_count":12,"past_year_pull_requests_closed_count":47,"past_year_pull_request_authors_count":7,"past_year_issue_authors_count":10,"past_year_avg_comments_per_issue":2.9166666666666665,"past_year_avg_comments_per_pull_request":1.2241379310344829,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":45,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/issues","maintainers":[{"login":"jespercockx","count":69,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"anka-213","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/anka-213"}],"active_maintainers":[{"login":"jespercockx","count":21,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"anka-213","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/anka-213"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fagda%2Fagda2hs/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fagda%2Fagda2hs/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fagda%2Fagda2hs/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fagda%2Fagda2hs/related_packages","maintainers":[],"registry":{"name":"proxy.golang.org","url":"https://proxy.golang.org","ecosystem":"go","default":true,"packages_count":1954236,"maintainers_count":0,"namespaces_count":741771,"keywords_count":109320,"github":"golang","metadata":{"funded_packages_count":49342},"icon_url":"https://github.com/golang.png","created_at":"2022-04-04T15:19:22.939Z","updated_at":"2025-09-08T05:47:38.872Z","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":9872139,"full_name":"agda/agda2hs","default_branch":"master","committers":[{"name":"Jesper Cockx","email":"jesper@sikanda.be","login":"jespercockx","count":247},{"name":"Ulf Norell","email":"ulf.norell@gmail.com","login":"UlfNorell","count":84},{"name":"flupe","email":"lucas@escot.me","login":"flupe","count":75},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","login":"omelkonian","count":36},{"name":"Sára Juhošová","email":"s.juhosova@student.tudelft.nl","login":"sarajuhosova","count":36},{"name":"Bohdan","email":"b.liesnikov+git@gmail.com","login":"liesnikov","count":21},{"name":"viktorcsimma","email":"csimmaviktor03@gmail.com","login":"viktorcsimma","count":21},{"name":"pmbittner","email":"paul.bittner@uni-ulm.de","login":"pmbittner","count":18},{"name":"Aleksandra Wolska","email":"wcqaguxa@gmail.com","login":"odderwiser","count":18},{"name":"Heinrich Apfelmus","email":"apfelmus@quantentunnel.de","login":"HeinrichApfelmus","count":17},{"name":"Andreas Källberg","email":"anka.213@gmail.com","login":"anka-213","count":16},{"name":"James Chapman","email":"james.chapman@iohk.io","login":"jmchapman","count":13},{"name":"Jakob Naucke","email":"jakob.naucke@posteo.de","login":"naucke","count":7},{"name":"avery","email":"thecommunistduck@hotmail.co.uk","login":"PPKFS","count":5},{"name":"Luka Janjić","email":"luka.janjic@gmail.com","login":"sourceCode4","count":5},{"name":"Amélia Liao","email":"me@amelia.how","login":"plt-amy","count":3},{"name":"Henry Blanchette","email":"7615148+Riib11","login":"Riib11","count":2},{"name":"Peter Dragos","email":"peter@mlabs.city","login":null,"count":1},{"name":"dxts","email":"dixitsabharwal05@gmail.com","login":"dxts","count":1},{"name":"anuyts","email":"anuyts","login":"anuyts","count":1},{"name":"amesgen","email":"amesgen@amesgen.de","login":"amesgen","count":1},{"name":"Victor Cacciari Miraldo","email":"victor.miraldo@channable.com","login":"VictorCMiraldo","count":1},{"name":"Guillaume Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":1},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":1},{"name":"Robin S","email":"Cogsad@protonmail.com","login":"Cogsad","count":1},{"name":"José Carlos Padilla Cancio","email":"jcpadillacancio@gmail.com","login":"J0s3c4rl0s","count":1}],"total_commits":633,"total_committers":26,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":24.346153846153847,"dds":0.6097946287519747,"past_year_committers":[{"name":"Jesper Cockx","email":"jesper@sikanda.be","login":"jespercockx","count":54},{"name":"pmbittner","email":"paul.bittner@uni-ulm.de","login":"pmbittner","count":18},{"name":"Heinrich Apfelmus","email":"apfelmus@quantentunnel.de","login":"HeinrichApfelmus","count":17},{"name":"Andreas Källberg","email":"anka.213@gmail.com","login":"anka-213","count":16},{"name":"Bohdan","email":"17168103+liesnikov","login":"liesnikov","count":9},{"name":"flupe","email":"lucas@escot.me","login":"flupe","count":5},{"name":"avery","email":"thecommunistduck@hotmail.co.uk","login":"PPKFS","count":5},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","login":"omelkonian","count":5},{"name":"Jakob Naucke","email":"jakob.naucke@posteo.de","login":"naucke","count":2},{"name":"anuyts","email":"anuyts","login":"anuyts","count":1},{"name":"Victor Cacciari Miraldo","email":"victor.miraldo@channable.com","login":"VictorCMiraldo","count":1},{"name":"José Carlos Padilla Cancio","email":"jcpadillacancio@gmail.com","login":"J0s3c4rl0s","count":1},{"name":"Peter Dragos","email":"peter@mlabs.city","login":null,"count":1}],"past_year_total_commits":135,"past_year_total_committers":13,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":10.384615384615385,"past_year_dds":0.6,"last_synced_at":"2025-05-24T18:27:17.163Z","last_synced_commit":"256e604c4f7b1951459efdf68a7184e83e1f0d2a","created_at":"2025-05-12T14:33:19.795Z","updated_at":"2025-05-24T18:29:01.226Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-09T00:17:06.873Z","repositories_count":5498846,"commits_count":856676486,"contributors_count":31303598,"owners_count":913068,"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":"agda/agda2hs","html_url":"https://github.com/agda/agda2hs","last_synced_at":"2025-09-04T03:12:46.348Z","status":null,"issues_count":86,"pull_requests_count":146,"avg_time_to_close_issue":10540472.673913043,"avg_time_to_close_pull_request":2843536.4380165287,"issues_closed_count":46,"pull_requests_closed_count":121,"pull_request_authors_count":17,"issue_authors_count":22,"avg_comments_per_issue":1.0,"avg_comments_per_pull_request":1.2534246575342467,"merged_pull_requests_count":113,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":26,"past_year_pull_requests_count":72,"past_year_avg_time_to_close_issue":2292763.8181818184,"past_year_avg_time_to_close_pull_request":471985.9827586207,"past_year_issues_closed_count":11,"past_year_pull_requests_closed_count":58,"past_year_pull_request_authors_count":8,"past_year_issue_authors_count":10,"past_year_avg_comments_per_issue":0.7692307692307693,"past_year_avg_comments_per_pull_request":1.152777777777778,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":55,"created_at":"2025-05-12T14:33:20.286Z","updated_at":"2025-09-04T03:12:46.350Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs/issues","issue_labels_count":{"enhancement":26,"bug":23,"error-reporting":9,"question":5,"good first issue":3,"documentation":2,"CI":2,"prelude":2,"help wanted":2,"levels":2,"wontfix":1},"pull_request_labels_count":{"CI":3,"documentation":2,"enhancement":2},"issue_author_associations_count":{"CONTRIBUTOR":35,"MEMBER":29,"NONE":22},"pull_request_author_associations_count":{"CONTRIBUTOR":83,"MEMBER":50,"NONE":13},"issue_authors":{"jespercockx":29,"omelkonian":9,"flupe":8,"HeinrichApfelmus":7,"bwbush":7,"anka-213":3,"jmchapman":3,"liesnikov":3,"ju-sh":2,"jakobn-ai":2,"steve-anunknown":2,"viktorcsimma":1,"pmbittner":1,"stites":1,"cho-m":1,"abailly":1,"sarajuhosova":1,"wasabi315":1,"ioanasv":1,"celsobonutti":1,"cyberglot":1,"dxts":1},"pull_request_authors":{"jespercockx":47,"HeinrichApfelmus":18,"omelkonian":17,"liesnikov":14,"flupe":10,"viktorcsimma":9,"anka-213":6,"dragospe":4,"odderwiser":4,"PPKFS":4,"jakobn-ai":3,"pmbittner":2,"ndcroos":2,"J0s3c4rl0s":2,"VictorCMiraldo":2,"anuyts":1,"naucke":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-08T00:00:17.013Z","repositories_count":10158589,"issues_count":32015733,"pull_requests_count":100103107,"authors_count":10725871,"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":{"bug":7,"CI":2,"documentation":1,"enhancement":1,"prelude":1},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"CONTRIBUTOR":9,"NONE":9,"MEMBER":8},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":44,"MEMBER":22,"NONE":4},"past_year_issue_authors":{"jespercockx":8,"HeinrichApfelmus":5,"liesnikov":3,"flupe":2,"ju-sh":2,"steve-anunknown":2,"abailly":1,"cyberglot":1,"omelkonian":1,"wasabi315":1},"past_year_pull_request_authors":{"jespercockx":19,"HeinrichApfelmus":18,"liesnikov":11,"omelkonian":9,"anka-213":6,"flupe":4,"J0s3c4rl0s":2,"anuyts":1},"maintainers":[{"login":"jespercockx","count":76,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"anka-213","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/anka-213"}],"active_maintainers":[{"login":"jespercockx","count":27,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"anka-213","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/anka-213"}]},"events":{"total":{"IssuesEvent":36,"WatchEvent":14,"DeleteEvent":3,"IssueCommentEvent":104,"PushEvent":69,"PullRequestReviewCommentEvent":50,"PullRequestReviewEvent":52,"PullRequestEvent":52,"ForkEvent":4,"CreateEvent":5},"last_year":{"IssuesEvent":36,"WatchEvent":14,"DeleteEvent":3,"IssueCommentEvent":104,"PushEvent":69,"PullRequestReviewCommentEvent":50,"PullRequestReviewEvent":52,"PullRequestEvent":52,"ForkEvent":4,"CreateEvent":5}},"keywords":[],"dependencies":[{"ecosystem":"hackage","filepath":"agda2hs.cabal","sha":null,"kind":"manifest","created_at":"2022-08-03T02:30:08.643Z","updated_at":"2022-08-03T02:30:08.643Z","repository_link":"https://github.com/agda/agda2hs/blob/master/agda2hs.cabal","dependencies":[{"id":552258627,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.10 \u0026\u0026 \u003c4.16","direct":true,"kind":"runtime","optional":false},{"id":552258628,"package_name":"Agda","ecosystem":"hackage","requirements":"==2.6.3.*","direct":true,"kind":"runtime","optional":false},{"id":552258629,"package_name":"containers","ecosystem":"hackage","requirements":"==0.6.*","direct":true,"kind":"runtime","optional":false},{"id":552258630,"package_name":"unordered-containers","ecosystem":"hackage","requirements":"\u003e=0.2","direct":true,"kind":"runtime","optional":false},{"id":552258631,"package_name":"mtl","ecosystem":"hackage","requirements":"\u003e=2.2","direct":true,"kind":"runtime","optional":false},{"id":552258632,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.2.6.2 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false},{"id":552258633,"package_name":"filepath","ecosystem":"hackage","requirements":"\u003e=1.4.1.0 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":552258634,"package_name":"haskell-src-exts","ecosystem":"hackage","requirements":"\u003e=1.23 \u0026\u0026 \u003c1.25","direct":true,"kind":"runtime","optional":false},{"id":552258635,"package_name":"syb","ecosystem":"hackage","requirements":"\u003e=0.7","direct":true,"kind":"runtime","optional":false},{"id":552258636,"package_name":"text","ecosystem":"hackage","requirements":"\u003e=1.2.3.0","direct":true,"kind":"runtime","optional":false},{"id":552258637,"package_name":"deepseq","ecosystem":"hackage","requirements":"\u003e=1.4.1.1","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2023-01-22T14:15:59.541Z","updated_at":"2023-01-22T14:15:59.541Z","repository_link":"https://github.com/agda/agda2hs/blob/master/.github/workflows/ci.yml","dependencies":[{"id":7096670599,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7096670600,"package_name":"actions/setup-haskell","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7096670601,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/docs.yml","sha":null,"kind":"manifest","created_at":"2023-01-22T14:15:59.563Z","updated_at":"2023-01-22T14:15:59.563Z","repository_link":"https://github.com/agda/agda2hs/blob/master/.github/workflows/docs.yml","dependencies":[{"id":7096670620,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7096670621,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7096670622,"package_name":"actions/configure-pages","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7096670623,"package_name":"actions/upload-pages-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7096670624,"package_name":"actions/deploy-pages","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"pypi","filepath":"docs/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-01-22T14:15:59.591Z","updated_at":"2023-01-22T14:15:59.591Z","repository_link":"https://github.com/agda/agda2hs/blob/master/docs/requirements.txt","dependencies":[{"id":7096670647,"package_name":"sphinx","ecosystem":"pypi","requirements":"==5.3.0","direct":true,"kind":"runtime","optional":false},{"id":7096670648,"package_name":"sphinx_rtd_theme","ecosystem":"pypi","requirements":"==1.1.1","direct":true,"kind":"runtime","optional":false},{"id":7096670649,"package_name":"readthedocs-sphinx-search","ecosystem":"pypi","requirements":"==0.1.2","direct":true,"kind":"runtime","optional":false},{"id":7096670650,"package_name":"myst_parser","ecosystem":"pypi","requirements":"==0.18.1","direct":true,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2025-09-08T21:41:24.812Z","updated_at":"2025-10-07T08:29:53.938Z","avatar_url":"https://github.com/agda.png","language":"Agda","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["agda","type-theory","dependent-types","programming-language","proof-assistant","proof","cubical-type-theory","cabal","ghc","haskell"],"project_url":"https://science.ecosyste.ms/api/v1/projects/92451","html_url":"https://science.ecosyste.ms/projects/92451"}