{"id":38026,"name":"synthetic-zariski","description":"Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos","url":"https://github.com/felixwellen/synthetic-zariski","last_synced_at":"2025-09-05T07:39:50.157Z","repository":{"id":64059388,"uuid":"560454659","full_name":"felixwellen/synthetic-zariski","owner":"felixwellen","description":"Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos","archived":false,"fork":false,"pushed_at":"2025-09-01T14:24:27.000Z","size":4842,"stargazers_count":62,"open_issues_count":22,"forks_count":7,"subscribers_count":29,"default_branch":"main","last_synced_at":"2025-09-01T16:29:39.834Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","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/felixwellen.png","metadata":{"files":{"readme":"README.md","changelog":null,"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,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-11-01T14:38:11.000Z","updated_at":"2025-09-01T14:24:30.000Z","dependencies_parsed_at":"2024-05-20T09:32:03.236Z","dependency_job_id":"47c2bed5-d17c-4036-b035-40c9f589a0f3","html_url":"https://github.com/felixwellen/synthetic-zariski","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/felixwellen/synthetic-zariski","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/felixwellen","download_url":"https://codeload.github.com/felixwellen/synthetic-zariski/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273727756,"owners_count":25157133,"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":"felixwellen","name":"Felix Cherubini","uuid":"22154668","kind":"user","description":"","email":"","website":"http://felix-cherubini.de","location":"Gothenburg, Sweden","twitter":null,"company":"Chalmers","icon_url":"https://avatars.githubusercontent.com/u/22154668?u=34ff34f4c6af73cf2589340690ac4cc4b1c22bfb\u0026v=4","repositories_count":8,"last_synced_at":"2023-03-10T07:15:49.281Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/felixwellen","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-20T03:22:17.444Z","updated_at":"2023-03-10T07:15:49.300Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/felixwellen","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/felixwellen/repositories"},"packages":[],"commits":{"id":10579058,"full_name":"felixwellen/synthetic-zariski","default_branch":"main","committers":[{"name":"Felix Cherubini","email":"felix.cherubini@posteo.de","login":"felixwellen","count":924},{"name":"coquand","email":"tcoquand@icloud.com","login":"coquand","count":338},{"name":"hmoeneclaey","email":"hugomo@chalmers.se","login":"hmoeneclaey","count":260},{"name":"Freek","email":"f.h.d.arts@gmail.com","login":"Freek98","count":197},{"name":"Matthias Hutzler","email":"matthias-hutzler@posteo.net","login":"MatthiasHu","count":184},{"name":"David Wärn","email":"codwarn@gmail.com","login":"dwarn","count":35},{"name":"Ingo Blechschmidt","email":"iblech@speicherleck.de","login":"iblech","count":15},{"name":"JonasHoefer","email":"hoferj@chalmers.se","login":"JonasHoefer","count":11},{"name":"hmoenecl","email":"hugo.moeneclaey@inria.fr","login":null,"count":10},{"name":"Lukas Stoll","email":"lukas-stoll@posteo.de","login":"lkstl","count":5},{"name":"Marc Nieper-Wißkirchen","email":"marc.nieper@gmail.com","login":"mnieper","count":4},{"name":"Fabian Endres (Archbook)","email":"fabian.e@web.de","login":"fabianmasato","count":2},{"name":"Evan Cavallo","email":"evanc@chalmers.se","login":"ecavallo","count":1}],"total_commits":1986,"total_committers":13,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":152.76923076923077,"dds":0.5347432024169184,"past_year_committers":[{"name":"Felix Cherubini","email":"felix.cherubini@posteo.de","login":"felixwellen","count":217},{"name":"hmoeneclaey","email":"hugomo@chalmers.se","login":"hmoeneclaey","count":153},{"name":"coquand","email":"tcoquand@icloud.com","login":"coquand","count":145},{"name":"Freek","email":"f.h.d.arts@gmail.com","login":"Freek98","count":129},{"name":"JonasHoefer","email":"hoferj@chalmers.se","login":"JonasHoefer","count":11},{"name":"Lukas Stoll","email":"lukas-stoll@posteo.de","login":"lkstl","count":5},{"name":"Fabian Endres (Archbook)","email":"fabian.e@web.de","login":"fabianmasato","count":2},{"name":"Ingo Blechschmidt","email":"iblech@speicherleck.de","login":"iblech","count":1},{"name":"Evan Cavallo","email":"evanc@chalmers.se","login":"ecavallo","count":1},{"name":"David Wärn","email":"codwarn@gmail.com","login":"dwarn","count":1}],"past_year_total_commits":665,"past_year_total_committers":10,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":66.5,"past_year_dds":0.6736842105263158,"last_synced_at":"2025-07-15T01:17:41.038Z","last_synced_commit":"65627110a3423cd571c4a9842f27ff714321ff65","created_at":"2025-07-15T01:17:27.100Z","updated_at":"2025-07-15T01:17:50.241Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.343Z","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":"felixwellen/synthetic-zariski","html_url":"https://github.com/felixwellen/synthetic-zariski","last_synced_at":"2025-07-15T01:31:51.998Z","status":null,"issues_count":32,"pull_requests_count":11,"avg_time_to_close_issue":7863614.785714285,"avg_time_to_close_pull_request":4454388.625,"issues_closed_count":14,"pull_requests_closed_count":8,"pull_request_authors_count":4,"issue_authors_count":5,"avg_comments_per_issue":4.6875,"avg_comments_per_pull_request":0.9090909090909091,"merged_pull_requests_count":8,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":2,"past_year_pull_requests_count":5,"past_year_avg_time_to_close_issue":3100180.0,"past_year_avg_time_to_close_pull_request":6352387.75,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":4,"past_year_pull_request_authors_count":3,"past_year_issue_authors_count":1,"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":4,"created_at":"2025-07-15T01:18:26.695Z","updated_at":"2025-09-03T01:10:15.767Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/felixwellen%2Fsynthetic-zariski/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{"OWNER":23,"COLLABORATOR":5,"NONE":4},"pull_request_author_associations_count":{"OWNER":11,"CONTRIBUTOR":6,"NONE":2,"COLLABORATOR":1},"issue_authors":{"felixwellen":23,"xuanruiqi":3,"mnieper":3,"space3time1":1,"dwarn":1,"MatthiasHu":1},"pull_request_authors":{"felixwellen":11,"lkstl":6,"ecavallo":2,"mnieper":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10070501,"issues_count":31240645,"pull_requests_count":95394471,"authors_count":10689216,"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":{"OWNER":2,"NONE":1},"past_year_pull_request_author_associations_count":{"OWNER":2},"past_year_issue_authors":{"felixwellen":2,"space3time1":1},"past_year_pull_request_authors":{"felixwellen":2},"maintainers":[{"login":"felixwellen","count":34,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/felixwellen"},{"login":"mnieper","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mnieper"},{"login":"dwarn","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dwarn"},{"login":"MatthiasHu","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MatthiasHu"}],"active_maintainers":[{"login":"felixwellen","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/felixwellen"}]},"events":{"total":{"CreateEvent":7,"CommitCommentEvent":1,"IssuesEvent":5,"WatchEvent":9,"IssueCommentEvent":2,"MemberEvent":4,"PushEvent":443,"PullRequestEvent":3,"ForkEvent":1},"last_year":{"CreateEvent":7,"CommitCommentEvent":1,"IssuesEvent":5,"WatchEvent":9,"IssueCommentEvent":2,"MemberEvent":4,"PushEvent":443,"PullRequestEvent":3,"ForkEvent":1}},"keywords":[],"dependencies":[],"score":6.99576615630485,"created_at":"2025-09-04T15:51:11.877Z","updated_at":"2025-10-07T08:15:36.754Z","avatar_url":"https://github.com/felixwellen.png","language":"TeX","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["agda","dependent-types","programming-language","proof-assistant","type-theory"],"project_url":"https://science.ecosyste.ms/api/v1/projects/38026","html_url":"https://science.ecosyste.ms/projects/38026","bibtex_url":"https://science.ecosyste.ms/projects/38026/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/38026/export.apalike"}