{"id":42822,"name":"cubical","description":"An experimental library for Cubical Agda","url":"https://github.com/agda/cubical","last_synced_at":"2025-09-05T09:34:26.236Z","repository":{"id":33370960,"uuid":"153086880","full_name":"agda/cubical","owner":"agda","description":"An experimental library for Cubical Agda","archived":false,"fork":false,"pushed_at":"2025-08-19T13:56:05.000Z","size":360795,"stargazers_count":498,"open_issues_count":113,"forks_count":154,"subscribers_count":27,"default_branch":"master","last_synced_at":"2025-08-19T15:38:50.367Z","etag":null,"topics":["agda","cubical-type-theory","library"],"latest_commit_sha":null,"homepage":"https://agda.github.io/cubical/Cubical.Everything.html","language":"Agda","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/agda.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","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":"2018-10-15T09:28:28.000Z","updated_at":"2025-08-19T13:56:09.000Z","dependencies_parsed_at":"2023-09-27T14:07:02.879Z","dependency_job_id":"1eca6601-6bc4-4063-ad34-ae1c6137de8f","html_url":"https://github.com/agda/cubical","commit_stats":null,"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/agda/cubical","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/cubical/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273739140,"owners_count":25159283,"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":"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":[],"commits":{"id":9872131,"full_name":"agda/cubical","default_branch":"master","committers":[{"name":"Anders Mörtberg","email":"andersmortberg@gmail.com","login":"mortberg","count":249},{"name":"Felix Cherubini","email":"felix.cherubini@posteo.de","login":"felixwellen","count":242},{"name":"aljungstrom","email":"axel.ljungstrom@hotmail.com","login":"aljungstrom","count":213},{"name":"ecavallo","email":"ecavallo@cs.cmu.edu","login":"ecavallo","count":200},{"name":"KANG Rongji","email":"smallpigkang@gmail.com","login":"kangxyz","count":130},{"name":"mzeuner","email":"56261690+mzeuner","login":"mzeuner","count":63},{"name":"Andrea Vezzosi","email":"sanzhiyan@gmail.com","login":"Saizan","count":63},{"name":"dan-iel-lee","email":"laniel@seas.upenn.edu","login":"dan-iel-lee","count":60},{"name":"Dan Doel","email":"dan.doel@gmail.com","login":"dolio","count":59},{"name":"Matthew Yacavone","email":"matthew@yacavone.net","login":"m-yac","count":44},{"name":"ice1000","email":"ice1000kotlin@foxmail.com","login":"ice1000","count":42},{"name":"Matthias Hutzler","email":"matthias-hutzler@posteo.net","login":"MatthiasHu","count":39},{"name":"Andreas Nuyts","email":"andreas.nuyts@kuleuven.be","login":"anuyts","count":34},{"name":"Trebor-Huang","email":"treborhuang@foxmail.com","login":"Trebor-Huang","count":22},{"name":"Liang-Ting Chen","email":"liang.ting.chen.tw@gmail.com","login":"L-TChen","count":22},{"name":"Jonathan Sterling","email":"jon@jonmsterling.com","login":"jonsterling","count":18},{"name":"Jordan Mitchell Barrett","email":"90195985+barrettj12","login":"barrettj12","count":18},{"name":"Andreas Nuyts","email":"andreas.nuyts@vub.ac.be","login":null,"count":18},{"name":"Guilherme Silva","email":"guilhermehas@hotmail.com","login":"guilhermehas","count":16},{"name":"Josselin Poiret","email":"dev@jpoiret.xyz","login":"jpoiret","count":16},{"name":"Thomas Lamiaux","email":"85848641+thomas-lamiaux","login":"thomas-lamiaux","count":15},{"name":"Arseniy Alekseyev","email":"rotsor@gmail.com","login":"Rotsor","count":14},{"name":"3abc","email":"46010137+3abc","login":"3abc","count":13},{"name":"Oleg Grenrus","email":"oleg.grenrus@iki.fi","login":"phadej","count":13},{"name":"Fabian Endres","email":"fabian.e@web.de","login":"fabianmasato","count":13},{"name":"KANG Rongji","email":"92361529+kangrongji","login":"kangrongji","count":12},{"name":"WorldSEnder","email":"WorldSEnder","login":"WorldSEnder","count":11},{"name":"Andrew Swan","email":"wakelin.swan@gmail.com","login":"awswan","count":11},{"name":"Zesen Qian","email":"riaqn","login":"riaqn","count":11},{"name":"LuuBluum","email":"bdragun@hotmail.com","login":null,"count":10},{"name":"anshwad10","email":"109362320+anshwad10","login":"anshwad10","count":10},{"name":"MJG","email":"marcinjangrzybowski@gmail.com","login":"marcinjangrzybowski","count":9},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":9},{"name":"Brad Dragun","email":"35275808+LuuBluum","login":"LuuBluum","count":8},{"name":"Max S. New","email":"maxsnew@gmail.com","login":"maxsnew","count":6},{"name":"Loïc","email":"38562414+loic-p","login":"loic-p","count":5},{"name":"Samuel Mimram","email":"smimram@gmail.com","login":"smimram","count":5},{"name":"Fabian","email":"bafain@gmail.com","login":"bafain","count":5},{"name":"Ayberk Tosun","email":"ayberk.tosun@gmail.com","login":"ayberkt","count":5},{"name":"Donnacha Oisín Kidney","email":"mail@doisinkidney.com","login":"oisdk","count":5},{"name":"Johannes Schipp von Branitz","email":"3111904-jsvb@users.noreply.gitlab.com","login":null,"count":5},{"name":"Johannes Schipp von Branitz","email":"7878667+Schippmunk","login":"Schippmunk","count":4},{"name":"Ulrik Buchholtz","email":"ulrikbuchholtz@gmail.com","login":"UlrikBuchholtz","count":4},{"name":"Carlo Angiuli","email":"carlo@carloangiuli.com","login":"cangiuli","count":4},{"name":"Elies H","email":"elies.harington@gmail.com","login":"elies-h","count":4},{"name":"Mark Williams","email":"markrd.williams@gmail.com","login":"markrd-williams","count":4},{"name":"ecavallo","email":"evancavallo@gmail.com","login":null,"count":4},{"name":"loic-p","email":"loic.pujet@inria.fr","login":null,"count":4},{"name":"favonia","email":"favonia@gmail.com","login":"favonia","count":3},{"name":"Ulf Norell","email":"ulf.norell@gmail.com","login":"UlfNorell","count":3},{"name":"Shea Levy","email":"shea@shealevy.com","login":"shlevy","count":3},{"name":"Reid Barton","email":"rwbarton@gmail.com","login":"rwbarton","count":3},{"name":"HilpAlex","email":"88026308+HilpAlex","login":"HilpAlex","count":3},{"name":"mhe","email":"m.escardo@cs.bham.ac.uk","login":"martinescardo","count":3},{"name":"timorl","email":"tymorl@gmail.com","login":"timorl","count":3},{"name":"Amélia Liao","email":"me@amelia.how","login":"plt-amy","count":3},{"name":"Jorge Blázquez Saborido","email":"jorge.jbs@protonmail.com","login":"jorge-jbs","count":3},{"name":"Matthias Hutzler","email":"matthias.ralph.hutzler@student.uni-augsburg.de","login":null,"count":2},{"name":"Shreck Ye","email":"ShreckYe@gmail.com","login":"ShreckYe","count":2},{"name":"Scott Fleischman","email":"scott-fleischman","login":"scott-fleischman","count":2},{"name":"Rei","email":"satopen1729@gmail.com","login":"rei1024","count":2},{"name":"Naïm Favier","email":"n@monade.li","login":"ncfavier","count":2},{"name":"John Leo","email":"leo@halfaya.org","login":"halfaya","count":2},{"name":"Jesper Cockx","email":"jesper@sikanda.be","login":"jespercockx","count":2},{"name":"Emil Gjørup","email":"limemloh@gmail.com","login":"limemloh","count":2},{"name":"Apostolis Xekoukoulotakis","email":"apostolis.xekoukoulotakis@gmail.com","login":"xekoukou","count":2},{"name":"mchristianl","email":"lehmann@tet.tu-berlin.de","login":"mchristianl","count":2},{"name":"lwoo1999","email":"wul@mail.ustc.edu.cn","login":"lwoo1999","count":2},{"name":"XiaohuWang0921","email":"xiaohu.wang0921@gmail.com","login":"XiaohuWang0921","count":2},{"name":"Aqissiaq","email":"aqissiaq@gmail.com","login":"Aqissiaq","count":2},{"name":"Samuel Grahn","email":"samuel.grahn@outlook.com","login":"grahnen","count":2},{"name":"Steven Schaefer","email":"32493857+stschaef","login":"stschaef","count":2},{"name":"Vikraman Choudhury","email":"git@vikraman.org","login":"vikraman","count":2},{"name":"apabepa10","email":"77883933+apabepa10","login":"apabepa10","count":2},{"name":"michael","email":"1700346+mzhang28","login":"mzhang28","count":2},{"name":"phijor","email":"phijor","login":"phijor","count":2},{"name":"Freek Geerligs","email":"61565868+Freek98","login":"Freek98","count":2},{"name":"Axel Ljungström","email":"axlj4439@r11a.math.su.se","login":null,"count":1},{"name":"Carlos Tomé","email":"carlostome1990@gmail.com","login":null,"count":1},{"name":"Carl Åkerman Rydbeck","email":"35760514+AkermanRydbeck","login":"AkermanRydbeck","count":1},{"name":"Bredor","email":"40574176+freedan42x","login":"freedan42x","count":1},{"name":"Borja Sierra","email":"44493780+borsiemir","login":"borsiemir","count":1},{"name":"Benjamin Atelsek","email":"40130686+kesleta","login":"kesleta","count":1},{"name":"pi3js2","email":"126897438+pi3js2","login":"pi3js2","count":1},{"name":"owen-fool","email":"64603252+owen-fool","login":"owen-fool","count":1},{"name":"kl-i","email":"kl.i@icloud.com","login":"kl-i","count":1},{"name":"Zesen Qian","email":"git@riaqn.org","login":null,"count":1},{"name":"Si Yu How","email":"siyuhow@Sis-MacBook-Pro.local","login":null,"count":1},{"name":"Maximilian Dore","email":"maxore@clpc60.cs.ox.ac.uk","login":null,"count":1},{"name":"Pavel Turyansky","email":"pavel.turyansky@kaspersky.com","login":null,"count":1},{"name":"Caroline Roos","email":"82090887+croos90","login":"croos90","count":1},{"name":"Chou Kyuhei","email":"choukyuhei@gmail.com","login":"choukh","count":1},{"name":"Chuangjie Xu","email":"cj-xu","login":"cj-xu","count":1},{"name":"Elijah Malaby","email":"qwe12345678910@gmail.com","login":"djeis97","count":1},{"name":"Jonas Höfer","email":"jonas.hoefer99@gmail.com","login":"JonasHoefer","count":1},{"name":"Guillaume Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":1},{"name":"Guillaume Brunerie","email":"guillaume.brunerie+github@gmail.com","login":"guillaumebrunerie","count":1},{"name":"Jake Konrad","email":"jakegkonrad@gmail.com","login":"jakeKonrad","count":1},{"name":"Justin Himes","email":"49262679+eqNat","login":"eqNat","count":1},{"name":"Kyle Raftogianis","email":"knrafto@gmail.com","login":"knrafto","count":1},{"name":"Laine Taffin Altman","email":"alexanderaltman@me.com","login":"pthariensflame","count":1},{"name":"Stefania Damato","email":"psxsd7@nottingham.ac.uk","login":"stefaniatadama","count":1},{"name":"Bruno Bentzen","email":"b.bentzen@hotmail.com","login":"bbentzen","count":1},{"name":"Ryan Orendorff","email":"12442942+ryanorendorff","login":"ryanorendorff","count":1},{"name":"Rahul Chhabra","email":"rahul29112002@gmail.com","login":"rahulc29","count":1},{"name":"Peixin You","email":"54907029+hyleIndex","login":"hyleIndex","count":1},{"name":"Nils Anders Danielsson","email":"nad@cse.gu.se","login":"nad","count":1},{"name":"LorenzoMolena","email":"164308953+LorenzoMolena","login":"LorenzoMolena","count":1},{"name":"Leo White","email":"leo@lpw25.net","login":"lpw25","count":1},{"name":"LeeeeT","email":"me@LeeeeT.dev","login":"LeeeeT","count":1},{"name":"Lasse Letager Hansen","email":"cmester0","login":"cmester0","count":1},{"name":"Szumi Xie","email":"szumixie@gmail.com","login":"szumixie","count":1},{"name":"gmagaf","email":"57411171+gmagaf","login":"gmagaf","count":1},{"name":"herminie","email":"47478084+pnlph","login":"pnlph","count":1}],"total_commits":1895,"total_committers":114,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":16.62280701754386,"dds":0.8686015831134565,"past_year_committers":[{"name":"Trebor-Huang","email":"treborhuang@foxmail.com","login":"Trebor-Huang","count":21},{"name":"anshwad10","email":"109362320+anshwad10","login":"anshwad10","count":10},{"name":"ecavallo","email":"evancavallo@gmail.com","login":null,"count":4},{"name":"Axel Ljungström","email":"49276137+aljungstrom","login":"aljungstrom","count":4},{"name":"Felix Cherubini","email":"felix.cherubini@posteo.de","login":"felixwellen","count":3},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":2},{"name":"Andrew Swan","email":"wakelin.swan@gmail.com","login":"awswan","count":2},{"name":"Brad Dragun","email":"35275808+LuuBluum","login":"LuuBluum","count":2},{"name":"Max S. New","email":"maxsnew@gmail.com","login":"maxsnew","count":2},{"name":"anuyts","email":"anuyts","login":"anuyts","count":2},{"name":"michael","email":"1700346+mzhang28","login":"mzhang28","count":2},{"name":"Freek Geerligs","email":"61565868+Freek98","login":"Freek98","count":2},{"name":"Josselin Poiret","email":"dev@jpoiret.xyz","login":"jpoiret","count":1},{"name":"Laine Taffin Altman","email":"alexanderaltman@me.com","login":"pthariensflame","count":1},{"name":"LeeeeT","email":"me@LeeeeT.dev","login":"LeeeeT","count":1},{"name":"LorenzoMolena","email":"164308953+LorenzoMolena","login":"LorenzoMolena","count":1},{"name":"Loïc Pujet","email":"38562414+loic-p","login":"loic-p","count":1},{"name":"MJG","email":"marcinjangrzybowski@gmail.com","login":"marcinjangrzybowski","count":1},{"name":"Steven Schaefer","email":"32493857+stschaef","login":"stschaef","count":1},{"name":"Szumi Xie","email":"szumixie@gmail.com","login":"szumixie","count":1},{"name":"Ulf Norell","email":"ulf.norell@gmail.com","login":"UlfNorell","count":1}],"past_year_total_commits":65,"past_year_total_committers":21,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":3.0952380952380953,"past_year_dds":0.676923076923077,"last_synced_at":"2025-07-14T21:37:20.326Z","last_synced_commit":"ccd592db1df4f2304463d89e61b81eeb88f68c22","created_at":"2025-05-12T14:33:18.718Z","updated_at":"2025-07-14T21:37:56.279Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical/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":"agda/cubical","html_url":"https://github.com/agda/cubical","last_synced_at":"2025-09-04T03:12:46.292Z","status":null,"issues_count":30,"pull_requests_count":222,"avg_time_to_close_issue":6831688.4375,"avg_time_to_close_pull_request":3102180.676056338,"issues_closed_count":16,"pull_requests_closed_count":142,"pull_request_authors_count":37,"issue_authors_count":13,"avg_comments_per_issue":1.7333333333333334,"avg_comments_per_pull_request":1.5810810810810811,"merged_pull_requests_count":117,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":16,"past_year_pull_requests_count":131,"past_year_avg_time_to_close_issue":289700.125,"past_year_avg_time_to_close_pull_request":2905301.970149254,"past_year_issues_closed_count":8,"past_year_pull_requests_closed_count":67,"past_year_pull_request_authors_count":31,"past_year_issue_authors_count":5,"past_year_avg_comments_per_issue":1.125,"past_year_avg_comments_per_pull_request":1.2824427480916032,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":56,"created_at":"2025-05-12T14:33:19.067Z","updated_at":"2025-09-04T03:12:46.293Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical/issues","issue_labels_count":{"discuss":3,"refactor":2,"new content":1,"good first issue":1},"pull_request_labels_count":{"agda":5},"issue_author_associations_count":{"CONTRIBUTOR":16,"COLLABORATOR":9,"NONE":4,"MEMBER":1},"pull_request_author_associations_count":{"CONTRIBUTOR":149,"COLLABORATOR":42,"NONE":22,"MEMBER":9},"issue_authors":{"anshwad10":11,"felixwellen":6,"maxsnew":3,"stschaef":1,"onestruggler":1,"pthariensflame":1,"mortberg":1,"jordydickinson":1,"FernandoChu":1,"plt-amy":1,"mzeuner":1,"Trebor-Huang":1,"MatthiasHu":1},"pull_request_authors":{"anshwad10":48,"felixwellen":26,"aljungstrom":20,"marcinjangrzybowski":13,"anuyts":12,"mzeuner":11,"Freek98":8,"ecavallo":8,"awswan":8,"LuuBluum":5,"stschaef":5,"mortberg":4,"mzhang28":4,"maxsnew":4,"stefaniatadama":3,"MatthiasHu":3,"ncfavier":3,"jpoiret":3,"LorenzoMolena":3,"FranziskusWiesnet":3,"andreasabel":3,"rahulc29":2,"Trebor-Huang":2,"pthariensflame":2,"UlfNorell":2,"oisdk":2,"shlevy":2,"szumixie":2,"LeeeeT":2,"loic-p":2,"rana-gharaibeh":1,"pi3js2":1,"ricky136973":1,"phijor":1,"hexwell":1,"damhiya":1,"cdo256":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10082304,"issues_count":31220387,"pull_requests_count":96069062,"authors_count":10694175,"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":{"discuss":1,"good first issue":1,"refactor":1},"past_year_pull_request_labels_count":{"agda":4},"past_year_issue_author_associations_count":{"CONTRIBUTOR":12,"COLLABORATOR":2,"MEMBER":1,"NONE":1},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":97,"NONE":16,"COLLABORATOR":12,"MEMBER":6},"past_year_issue_authors":{"anshwad10":11,"maxsnew":2,"plt-amy":1,"pthariensflame":1,"stschaef":1},"past_year_pull_request_authors":{"anshwad10":48,"anuyts":12,"felixwellen":8,"Freek98":6,"aljungstrom":5,"awswan":4,"mzhang28":4,"LuuBluum":4,"maxsnew":3,"LorenzoMolena":3,"FranziskusWiesnet":3,"andreasabel":2,"stschaef":2,"UlfNorell":2,"loic-p":2,"jpoiret":2,"pthariensflame":2,"shlevy":2,"Trebor-Huang":2,"LeeeeT":2,"marcinjangrzybowski":2,"szumixie":2,"phijor":1,"damhiya":1,"hexwell":1,"ncfavier":1,"ecavallo":1,"rana-gharaibeh":1,"cdo256":1,"stefaniatadama":1,"ricky136973":1},"maintainers":[{"login":"felixwellen","count":32,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/felixwellen"},{"login":"ecavallo","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ecavallo"},{"login":"maxsnew","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/maxsnew"},{"login":"mortberg","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mortberg"},{"login":"andreasabel","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"ncfavier","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"UlfNorell","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/UlfNorell"},{"login":"plt-amy","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"szumixie","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/szumixie"}],"active_maintainers":[{"login":"felixwellen","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/felixwellen"},{"login":"maxsnew","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/maxsnew"},{"login":"andreasabel","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"UlfNorell","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/UlfNorell"},{"login":"ecavallo","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ecavallo"},{"login":"ncfavier","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"szumixie","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/szumixie"},{"login":"plt-amy","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"}]},"events":{"total":{"CreateEvent":10,"ReleaseEvent":1,"IssuesEvent":23,"WatchEvent":47,"DeleteEvent":2,"IssueCommentEvent":170,"PushEvent":82,"PullRequestReviewEvent":65,"PullRequestReviewCommentEvent":70,"PullRequestEvent":101,"ForkEvent":20},"last_year":{"CreateEvent":10,"ReleaseEvent":1,"IssuesEvent":23,"WatchEvent":47,"DeleteEvent":2,"IssueCommentEvent":170,"PushEvent":82,"PullRequestReviewEvent":65,"PullRequestReviewCommentEvent":70,"PullRequestEvent":101,"ForkEvent":20}},"keywords":["agda","cubical-type-theory","library"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/ci-nix.yml","sha":null,"kind":"manifest","created_at":"2023-01-15T00:45:52.706Z","updated_at":"2023-01-15T00:45:52.706Z","repository_link":"https://github.com/agda/cubical/blob/master/.github/workflows/ci-nix.yml","dependencies":[{"id":6910357311,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":6910357312,"package_name":"cachix/install-nix-action","ecosystem":"actions","requirements":"v17","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci-ubuntu.yml","sha":null,"kind":"manifest","created_at":"2023-01-15T00:45:52.843Z","updated_at":"2023-01-15T00:45:52.843Z","repository_link":"https://github.com/agda/cubical/blob/master/.github/workflows/ci-ubuntu.yml","dependencies":[{"id":6910358478,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":6910358479,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":6910358480,"package_name":"haskell/actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6910358481,"package_name":"JamesIves/github-pages-deploy-action","ecosystem":"actions","requirements":"4.1.8","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"hackage","filepath":"cubical-utils.cabal","sha":null,"kind":"manifest","created_at":"2023-09-27T14:07:02.842Z","updated_at":"2023-09-27T14:07:02.842Z","repository_link":"https://github.com/agda/cubical/blob/master/cubical-utils.cabal","dependencies":[{"id":13977748914,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.9.0.0 \u0026\u0026 \u003c4.18","direct":true,"kind":"runtime","optional":false},{"id":13977748915,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.0.0.0 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false}]}],"score":11.151295407566092,"created_at":"2025-09-04T15:51:17.775Z","updated_at":"2025-10-07T08:17:23.798Z","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":["dependent-types","programming-language","proof-assistant","type-theory","proof"],"project_url":"https://science.ecosyste.ms/api/v1/projects/42822","html_url":"https://science.ecosyste.ms/projects/42822","bibtex_url":"https://science.ecosyste.ms/projects/42822/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/42822/export.apalike"}