{"id":55981,"name":"equational_theories","description":"A project to map out the relations between different equational theories of Magmas.","url":"https://github.com/teorth/equational_theories","last_synced_at":"2025-09-05T14:05:17.981Z","repository":{"id":257812356,"uuid":"863611788","full_name":"teorth/equational_theories","owner":"teorth","description":"A project to map out the relations between different equational theories of Magmas.","archived":false,"fork":false,"pushed_at":"2025-09-03T00:01:54.000Z","size":160301,"stargazers_count":414,"open_issues_count":51,"forks_count":86,"subscribers_count":6,"default_branch":"main","last_synced_at":"2025-09-03T02:52:39.090Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://teorth.github.io/equational_theories/","language":"Lean","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/teorth.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","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":"2024-09-26T15:39:21.000Z","updated_at":"2025-09-03T00:01:57.000Z","dependencies_parsed_at":null,"dependency_job_id":"a2db2097-fdb1-410d-9ca9-6a2cefa7c895","html_url":"https://github.com/teorth/equational_theories","commit_stats":null,"previous_names":["teorth/equational_theories"],"tags_count":3,"template":false,"template_full_name":"pitmonticone/LeanProject","purl":"pkg:github/teorth/equational_theories","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/teorth","download_url":"https://codeload.github.com/teorth/equational_theories/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273768128,"owners_count":25164465,"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":"teorth","name":null,"uuid":"199308","kind":"user","description":null,"email":"","website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/199308?v=4","repositories_count":3,"last_synced_at":"2023-03-10T23:21:44.805Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/teorth","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-02T20:07:27.176Z","updated_at":"2023-03-10T23:21:44.827Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/teorth","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/teorth/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"teorth/equational_theories","html_url":"https://github.com/teorth/equational_theories","last_synced_at":"2025-09-01T16:09:31.854Z","status":null,"issues_count":46,"pull_requests_count":185,"avg_time_to_close_issue":3763428.0833333335,"avg_time_to_close_pull_request":166013.9294871795,"issues_closed_count":36,"pull_requests_closed_count":156,"pull_request_authors_count":32,"issue_authors_count":9,"avg_comments_per_issue":1.9565217391304348,"avg_comments_per_pull_request":0.43243243243243246,"merged_pull_requests_count":152,"bot_issues_count":13,"bot_pull_requests_count":4,"past_year_issues_count":46,"past_year_pull_requests_count":185,"past_year_avg_time_to_close_issue":3763428.0833333335,"past_year_avg_time_to_close_pull_request":166013.9294871795,"past_year_issues_closed_count":36,"past_year_pull_requests_closed_count":156,"past_year_pull_request_authors_count":32,"past_year_issue_authors_count":9,"past_year_avg_comments_per_issue":1.9565217391304348,"past_year_avg_comments_per_pull_request":0.43243243243243246,"past_year_bot_issues_count":13,"past_year_bot_pull_requests_count":4,"past_year_merged_pull_requests_count":152,"created_at":"2025-08-29T12:00:00.779Z","updated_at":"2025-09-03T06:53:06.654Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/teorth%2Fequational_theories/issues","issue_labels_count":{"project-task":12,"auto-update-lean-fail":4,"awaiting-review":2,"dependencies":1,"awaiting-CI":1,"do-not-merge":1},"pull_request_labels_count":{"awaiting-CI":47,"awaiting-review":42,"auto-update-lean":16,"contribution":12,"do-not-merge":12,"paper":3,"project-task":3,"dependencies":2,"github_actions":2,"awaiting-author":2,"awaiting-merge":1,"WIP":1},"issue_author_associations_count":{"OWNER":167,"CONTRIBUTOR":66,"COLLABORATOR":34,"NONE":10},"pull_request_author_associations_count":{"CONTRIBUTOR":482,"OWNER":267,"COLLABORATOR":107,"NONE":57},"issue_authors":{"teorth":167,"github-actions[bot]":23,"pitmonticone":22,"Shreyas4991":11,"vlad902":8,"madvorak":8,"codyroux":5,"zaklogician":4,"amirlb":3,"Joe-McCann":2,"0art0":2,"carlini":2,"Command-Master":2,"dwrensha":2,"dependabot[bot]":1,"dsm054":1,"qawbecrdtey":1,"fchapoton":1,"fox-room":1,"nomeata":1,"NooneAtAll3":1,"goens":1,"lyphyser":1,"blefloch":1,"harahu":1,"Timeroot":1,"digama0":1,"ChienYungChi":1,"avi-levy":1,"danielvarga":1},"pull_request_authors":{"teorth":267,"vlad902":81,"pitmonticone":66,"madvorak":50,"dwrensha":40,"euprunin":29,"Command-Master":29,"carlini":27,"nomeata":25,"amirlb":24,"goens":21,"Shreyas4991":19,"zaklogician":19,"github-actions[bot]":17,"digama0":17,"b-reinke":16,"blefloch":15,"codyroux":15,"ChienYungChi":10,"0art0":9,"Timeroot":9,"lyphyser":8,"mjtb49":8,"harahu":8,"franklindyer":7,"Aaron1011":7,"avi-levy":6,"kant2002":5,"LorenzoLuccioli":4,"edegeltje":4,"asvarga":3,"jscanvic":3,"marcusrossel":3,"few":3,"fchapoton":3,"fpvandoorn":3,"Joe-McCann":3,"Shiney":2,"snburris":2,"dependabot[bot]":2,"debordle":2,"gl3nnleblanc":2,"dsm054":2,"tcosmo":1,"agjftucker":1,"bollu":1,"marcop5":1,"mrinesi":1,"cjquines":1,"Julian":1,"MikolasJanota":1,"shetzl":1,"giove91":1,"danflapjax":1,"ldct":1,"alxest":1,"guangyusong":1,"b-mehta":1,"michaelbrundage":1,"Osalotioman":1,"Vierkantor":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10100117,"issues_count":31473266,"pull_requests_count":97445500,"authors_count":10702683,"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":{"project-task":12,"auto-update-lean-fail":4,"awaiting-review":2,"dependencies":1,"awaiting-CI":1,"do-not-merge":1},"past_year_pull_request_labels_count":{"awaiting-CI":47,"awaiting-review":42,"auto-update-lean":16,"contribution":12,"do-not-merge":12,"paper":3,"project-task":3,"dependencies":2,"github_actions":2,"awaiting-author":2,"awaiting-merge":1,"WIP":1},"past_year_issue_author_associations_count":{"OWNER":167,"CONTRIBUTOR":66,"COLLABORATOR":34,"NONE":10},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":482,"OWNER":267,"COLLABORATOR":107,"NONE":57},"past_year_issue_authors":{"teorth":167,"github-actions[bot]":23,"pitmonticone":22,"Shreyas4991":11,"vlad902":8,"madvorak":8,"codyroux":5,"zaklogician":4,"amirlb":3,"0art0":2,"dwrensha":2,"Command-Master":2,"carlini":2,"Joe-McCann":2,"Timeroot":1,"avi-levy":1,"blefloch":1,"qawbecrdtey":1,"NooneAtAll3":1,"nomeata":1,"ChienYungChi":1,"lyphyser":1,"harahu":1,"goens":1,"fox-room":1,"fchapoton":1,"dsm054":1,"digama0":1,"dependabot[bot]":1,"danielvarga":1},"past_year_pull_request_authors":{"teorth":267,"vlad902":81,"pitmonticone":66,"madvorak":50,"dwrensha":40,"euprunin":29,"Command-Master":29,"carlini":27,"nomeata":25,"amirlb":24,"goens":21,"zaklogician":19,"Shreyas4991":19,"github-actions[bot]":17,"digama0":17,"b-reinke":16,"blefloch":15,"codyroux":15,"ChienYungChi":10,"Timeroot":9,"0art0":9,"harahu":8,"lyphyser":8,"mjtb49":8,"Aaron1011":7,"franklindyer":7,"avi-levy":6,"kant2002":5,"LorenzoLuccioli":4,"edegeltje":4,"fpvandoorn":3,"fchapoton":3,"marcusrossel":3,"jscanvic":3,"Joe-McCann":3,"asvarga":3,"few":3,"Shiney":2,"debordle":2,"snburris":2,"dsm054":2,"dependabot[bot]":2,"gl3nnleblanc":2,"shetzl":1,"giove91":1,"alxest":1,"MikolasJanota":1,"ldct":1,"marcop5":1,"cjquines":1,"danflapjax":1,"Julian":1,"tcosmo":1,"mrinesi":1,"b-mehta":1,"guangyusong":1,"bollu":1,"Osalotioman":1,"Vierkantor":1,"agjftucker":1,"michaelbrundage":1},"maintainers":[{"login":"teorth","count":434,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/teorth"},{"login":"pitmonticone","count":88,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/pitmonticone"},{"login":"Shreyas4991","count":27,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Shreyas4991"},{"login":"nomeata","count":26,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/nomeata"}],"active_maintainers":[{"login":"teorth","count":434,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/teorth"},{"login":"pitmonticone","count":88,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/pitmonticone"},{"login":"Shreyas4991","count":27,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Shreyas4991"},{"login":"nomeata","count":26,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/nomeata"}]},"events":null,"keywords":[],"dependencies":[],"score":null,"created_at":"2025-09-04T15:51:32.091Z","updated_at":"2025-10-07T08:22:08.130Z","avatar_url":"https://github.com/teorth.png","language":"Lean","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/55981","html_url":"https://science.ecosyste.ms/projects/55981"}