{"id":118020,"full_name":"agda/agda-stdlib","default_branch":"master","total_commits":3687,"total_committers":180,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":20.483333333333334,"dds":0.6631407648494712,"past_year_total_commits":135,"past_year_total_committers":22,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":6.136363636363637,"past_year_dds":0.4814814814814815,"last_synced_at":"2026-09-23T01:14:30.834Z","last_synced_commit":"810f87395c45a5dc06dc2815f69a1fbc8260e961","created_at":"2023-03-07T22:57:54.100Z","updated_at":"2026-09-23T01:14:30.339Z","committers":[{"name":"Nils Anders Danielsson","email":"nils.anders.danielsson@gmail.com","login":"nad","count":1242},{"name":"MatthewDaggitt","email":"matthewdaggitt@gmail.com","login":"MatthewDaggitt","count":611},{"name":"jamesmckinna","email":"31931406+jamesmckinna","login":"jamesmckinna","count":309},{"name":"G. Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":309},{"name":"Andrés Sicard-Ramírez","email":"asr@eafit.edu.co","login":"asr","count":170},{"name":"Ulf Norell","email":"ulfn@chalmers.se","login":"UlfNorell","count":106},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":97},{"name":"Jacques","email":"149587529+jmougeot","login":"jmougeot","count":72},{"name":"Nathan van Doorn","email":"nvd1234@gmail.com","login":"Taneb","count":68},{"name":"Jacques Carette","email":"carette@mcmaster.ca","login":"JacquesCarette","count":49},{"name":"Nicolas Pouillard","email":"nicolas.pouillard@gmail.com","login":"np","count":42},{"name":"Akshobhya K M","email":"akshobhyakm@gmail.com","login":"Akshobhya1234","count":38},{"name":"Saransh Chopra","email":"saransh0701@gmail.com","login":"Saransh-cpp","count":34},{"name":"Matthew Daggitt","email":"mld46@cl.cam.ac.uk","login":null,"count":31},{"name":"James Wood","email":"laMudri@gmail.com","login":"laMudri","count":19},{"name":"Jesper Cockx","email":"jesper@sikanda.be","login":"jespercockx","count":16},{"name":"Guilherme Silva","email":"guilhermehas@hotmail.com","login":"guilhermehas","count":13},{"name":"herminie","email":"47478084+pnlph","login":"pnlph","count":12},{"name":"Donnacha Oisín Kidney","email":"mail@doisinkidney.com","login":"oisdk","count":12},{"name":"Stevan Andjelkovic","email":"stevan.andjelkovic@strath.ac.uk","login":"stevana","count":11},{"name":"Maciej Piechotka","email":"uzytkownik2@gmail.com","login":"uzytkownik","count":11},{"name":"mechvel","email":"mechvel","login":"mechvel","count":10},{"name":"Shin-Cheng Mu","email":"scm@iis.sinica.edu.tw","login":"scmu","count":10},{"name":"Jason Hu","email":"fdhzs2010@hotmail.com","login":"HuStmpHrrr","count":10},{"name":"Sandro Stucki","email":"sandro.stucki@gmail.com","login":"sstucki","count":9},{"name":"Sofia El Boufi--Crouzet","email":"136095087+Sofia-Insa","login":"Sofia-Insa","count":9},{"name":"Uma Zalakain","email":"ping@umazalakain.info","login":"umazalakain","count":9},{"name":"shuhung","email":"shhyou","login":"shhyou","count":9},{"name":"Dominique Devriese","email":"dominique.devriese@cs.kuleuven.be","login":"dominiquedevriese","count":8},{"name":"Alex Rice","email":"alexrice999@hotmail.co.uk","login":"alexarice","count":8},{"name":"Liang-Ting Chen","email":"liang.ting.chen.tw@gmail.com","login":"L-TChen","count":8},{"name":"Philipp Hausmann","email":"ph_git@314.ch","login":"phile314","count":8},{"name":"Milo","email":"iitalics@gmail.com","login":"iitalics","count":7},{"name":"Conal Elliott","email":"conal@conal.net","login":"conal","count":6},{"name":"Fabian","email":"bafain@gmail.com","login":"bafain","count":6},{"name":"Silas Hayes-Williams","email":"58709355+silas-hw","login":"silas-hw","count":6},{"name":"Lex van der Stoep","email":"lex.vanderstoep@gmail.com","login":"lexvanderstoep","count":6},{"name":"Joachim Breitner","email":"mail@joachim-breitner.de","login":"nomeata","count":6},{"name":"Pepijn Kokke","email":"pepijn.kokke@gmail.com","login":null,"count":6},{"name":"Brad Hardy","email":"bradleyhardy@live.com","login":null,"count":6},{"name":"Carlos Tomé Cortiñas","email":"carlos.tome.cortinas@gmail.com","login":"carlostome","count":5},{"name":"Robert Estelle","email":"robertestelle@gmail.com","login":"rwe","count":5},{"name":"Amélia Liao","email":"me@amelia.how","login":"plt-amy","count":5},{"name":"Noam Zeilberger","email":"noam.zeilberger@gmail.com","login":"noamz","count":5},{"name":"M Farkas-Dyck","email":"strake888@gmail.com","login":"strake","count":5},{"name":"Harrison Grodin","email":"hgrodin@andrew.cmu.edu","login":"HarrisonGrodin","count":5},{"name":"Alba Mendez","email":"me@alba.sh","login":"mildsunrise","count":5},{"name":"Apostolis Xekoukoulotakis","email":"apostolis.xekoukoulotakis@gmail.com","login":"xekoukou","count":5},{"name":"Arjen Jonathan","email":"a.j.rouvoet@gmail.com","login":"ajrouvoet","count":5},{"name":"Bradley Saul","email":"bradleysaul@fastmail.com","login":"bsaul","count":5},{"name":"Chris","email":"cspollard","login":"cspollard","count":5},{"name":"Eric Mertens","email":"emertens@gmail.com","login":"glguy","count":4},{"name":"Fredrik Nordvall Forsberg","email":"fredrik.nordvall-forsberg@strath.ac.uk","login":"fredrikNordvallForsberg","count":4},{"name":"Gergő Érdi","email":"gergo@erdi.hu","login":"gergoerdi","count":4},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","login":"omelkonian","count":4},{"name":"Reed Mullanix","email":"reedmullanix@gmail.com","login":"TOTBWF","count":4},{"name":"elsanussi-s-mneina","email":"52800671+elsanussi-s-mneina","login":"elsanussi-s-mneina","count":4},{"name":"Xiaohu Wang","email":"xiaohu.wang0921@gmail.com","login":"XiaohuWang0921","count":4},{"name":"Liang-Ting Chen","email":"xcycl@iis.sinica.edu.tw","login":null,"count":4},{"name":"Wen Kokke","email":"wenkokke","login":"wenkokke","count":4},{"name":"Paul Bittner","email":"paul.bittner@uni-ulm.de","login":"pmbittner","count":4},{"name":"Uncle Betty","email":"3210857+uncle-betty","login":"uncle-betty","count":3},{"name":"Simon Johansson","email":"simon@forintens.se","login":"DrPhil","count":3},{"name":"Rei","email":"satopen1729@gmail.com","login":"rei1024","count":3},{"name":"Octavian Mircea Sebe","email":"mirceasebe@yahoo.com","login":"MirceaS","count":3},{"name":"Xia Li-yao","email":"Lysxia","login":"Lysxia","count":3},{"name":"XuanyanLong","email":"56586991+5xy1","login":"5xy1","count":3},{"name":"turion","email":"manuel@enigmage.de","login":"turion","count":3},{"name":"damhiya","email":"damhiya@gmail.com","login":"damhiya","count":3},{"name":"Alice Laroche","email":"60161310+Seiryn21","login":"Seiryn21","count":3},{"name":"Michael DeLorimier","email":"72283908+mikedelorimier","login":"mikedelorimier","count":3},{"name":"James Chapman","email":"jmchapman@gmail.com","login":"jmchapman","count":3},{"name":"Jakub Kopański","email":"jakub@famisoft.pl","login":"jkopanski","count":3},{"name":"David Banas","email":"capn.freako@gmail.com","login":"capn-freako","count":3},{"name":"Andrea Vezzosi","email":"sanzhiyan@gmail.com","login":"Saizan","count":3},{"name":"Helmut Grohne","email":"grohne@cs.uni-bonn.de","login":null,"count":3},{"name":"Liyang HU","email":"darcs@liyang.hu","login":null,"count":3},{"name":"Simon Foster","email":"S.Foster@dcs.shef.ac.uk","login":null,"count":3},{"name":"Zambonifofex","email":"zambonifofex@gmail.com","login":null,"count":3},{"name":"Danny Navarro","email":"j@dannynavarro.net","login":"jdnavarro","count":2},{"name":"Calin Tataru","email":"calintat@gmail.com","login":"calintat","count":2},{"name":"István Donkó","email":"istvan.donko@gmail.com","login":"isti115","count":2},{"name":"Jordan Barrett","email":"90195985+barrettj12","login":"barrettj12","count":2},{"name":"Andre Knispel","email":"andre.knispel@gmx.de","login":"WhatisRT","count":2},{"name":"Octavian Mircea Sebe","email":"oms567@student.bham.ac.uk","login":null,"count":2},{"name":"jake","email":"rizoid@rizoid.space","login":null,"count":2},{"name":"Lucas Escot","email":"flupe","login":"flupe","count":2},{"name":"Markus Wageringel","email":"39632129+mwageringel","login":"mwageringel","count":2},{"name":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","login":"Blaisorblade","count":2},{"name":"Ruifeng Xie","email":"ruifengx@outlook.com","login":"ruifengx","count":2},{"name":"Ambroise","email":"chaster_killer@hotmail.fr","login":"amblafont","count":2},{"name":"Samuel Bronson","email":"naesten@gmail.com","login":"SamB","count":2},{"name":"e-mniang","email":"mariam.niang.etu@gmail.com","login":"e-mniang","count":2},{"name":"Dan Doel","email":"dan.doel@gmail.com","login":"dolio","count":2},{"name":"Daniil Kisel","email":"56605335+KislyjKisel","login":"KislyjKisel","count":2},{"name":"Ed Nutting","email":"1746336+EdNutting","login":"EdNutting","count":2},{"name":"JorisCeulemans","email":"joris.ceulemans@vub.be","login":"JorisCeulemans","count":2},{"name":"Piotr Paradziński","email":"dancingwithopenheart@gmail.com","login":"dancewithheart","count":1},{"name":"Peter Berry","email":"pwberry@gmail.com","login":"HairyDude","count":1},{"name":"Stefan Holdermans","email":"stefan@holdermans.nl","login":"stefanholdermans","count":1},{"name":"Tesla Ice Zhang","email":"951394653@qq.com","login":"ice1000","count":1},{"name":"Thorsten Wißmann","email":"s-github2@thorsten-wissmann.de","login":"t-wissmann","count":1},{"name":"Tomas Möre","email":"tomas.o.more@gmail.com","login":"t-more","count":1},{"name":"Tony Beta Lambda","email":"tonybetalambda@gmail.com","login":"tonyxty","count":1},{"name":"Tsung-Ju Chiang","email":"71379180+tsung-ju","login":"tsung-ju","count":1},{"name":"Víctor López Juan","email":"victor@lopezjuan.com","login":"vlopezj","count":1},{"name":"Yuxuan Dai","email":"duinomaker@gmail.com","login":"yxdai-nju","count":1},{"name":"Piotr Paradziński","email":"piotr.paradzinski@gmail.com","login":"lemastero","count":1},{"name":"Ryan Orendorff","email":"12442942+ryanorendorff","login":"ryanorendorff","count":1},{"name":"Samuel","email":"0csharp0@gmail.com","login":"IchiganCS","count":1},{"name":"Satoshi Takimoto","email":"wasabi.nvim.st@gmail.com","login":"wasabi315","count":1},{"name":"Scott Godwin","email":"sgodwincs@gmail.com","login":"sgodwincs","count":1},{"name":"Sean Seefried","email":"sean@seefried.com.au","login":"sseefried","count":1},{"name":"Sergey Goncharov","email":"64401608+sergey-goncharov","login":"sergey-goncharov","count":1},{"name":"Splinter Suidman","email":"splinter@mannenopdemaan.nl","login":"splintersuidman","count":1},{"name":"Patrik Jansson","email":"patrikj@chalmers.se","login":"patrikja","count":1},{"name":"Noriyuki OHKAWA","email":"n.ohkawa@gmail.com","login":"notogawa","count":1},{"name":"rvs314","email":"71688932+rvs314","login":"rvs314","count":1},{"name":"rubenpieters","email":"rubenpieters","login":"rubenpieters","count":1},{"name":"onestruggler","email":"bian@dal.ca","login":"onestruggler","count":1},{"name":"negiizhao","email":"egresf@gmail.com","login":"astrainfinita","count":1},{"name":"identicalsnowflake","email":"identicalsnowflake@yandex.com","login":"identicalsnowflake","count":1},{"name":"fredins","email":"fredin.martin@gmail.com","login":"fredins","count":1},{"name":"flicky frans","email":"flickyfrans@gmail.com","login":"flickyfrans","count":1},{"name":"effectfully","email":"effectfully@gmail.com","login":"effectfully","count":1},{"name":"doyougnu","email":"jmy6342@gmail.com","login":"doyougnu","count":1},{"name":"dm606","email":"dylanmcdermott9@gmail.com","login":"dm606","count":1},{"name":"Alan Jeffrey","email":"ajeffrey@bell-labs.com","login":null,"count":1},{"name":"Ahmad Salim Al-Sibahi","email":"asal@itu.dk","login":null,"count":1},{"name":"=","email":"=","login":null,"count":1},{"name":"Carlos Tomé","email":"carlostome1990@gmail.com","login":null,"count":1},{"name":"Daniel Brown","email":"dbrown@ccs.neu.edu","login":null,"count":1},{"name":"Ed Nutting","email":"ed@beyondrisc.com","login":null,"count":1},{"name":"Guilhem Moulin","email":"guilhem.moulin@chalmers.se","login":null,"count":1},{"name":"Mathieu Montin","email":"mathieu.montin@enseeiht.fr","login":null,"count":1},{"name":"jake","email":"leach.jacob.d@gmail.com","login":null,"count":1},{"name":"cmcmA20","email":"cmcmA20@pm.me","login":"invalid-email-address","count":1},{"name":"Zack Grannan","email":"zgrannan@protonmail.com","login":"zgrannan","count":1},{"name":"Gilles Coremans","email":"gilles.coremans@gmail.com","login":"gcoremans","count":1},{"name":"Gan Shen","email":"gan_shen@icloud.com","login":"gshen42","count":1},{"name":"Francesco Gazzetta","email":"fgaz@fgaz.me","login":"fgaz","count":1},{"name":"Felix Yan","email":"felixonmars@archlinux.org","login":"felixonmars","count":1},{"name":"Felix Klein","email":"klein@react.uni-saarland.de","login":"kleinreact","count":1},{"name":"Fangyi Zhou","email":"me@fangyi.io","login":"fangyi-zhou","count":1},{"name":"Evgeny Kotelnikov","email":"evgeny.kotelnikov@gmail.com","login":"aztek","count":1},{"name":"Egbert Rijke","email":"e.m.rijke@gmail.com","login":"EgbertRijke","count":1},{"name":"Dylan Ede","email":"dylanede@googlemail.com","login":"dylanede","count":1},{"name":"David Sheets","email":"sheets@alum.mit.edu","login":"dsheets","count":1},{"name":"Darin Morrison","email":"dwm@cs.nott.ac.uk","login":"silvanshade","count":1},{"name":"Callan McGill","email":"callan.mcgill@gmail.com","login":"Boarders","count":1},{"name":"0xd34df00d","email":"0xd34df00d@gmail.com","login":"0xd34df00d","count":1},{"name":"Adam Krupicka","email":"akr@mail.muni.cz","login":"useronym","count":1},{"name":"Alex Hubers","email":"ahubers15@cornellcollege.edu","login":"ahubers","count":1},{"name":"Alexander Ben Nasrallah","email":"me@abn.sh","login":"neosimsim","count":1},{"name":"Andreas Källberg","email":"anka.213@gmail.com","login":"anka-213","count":1},{"name":"Andrés Ortega","email":"aortega0703@gmail.com","login":"aortega0703","count":1},{"name":"Armando Santos","email":"armandoifsantos@gmail.com","login":"bolt12","count":1},{"name":"Bob Atkey","email":"bobatkey","login":"bobatkey","count":1},{"name":"Brian E","email":"72316548+Brian-ED","login":"Brian-ED","count":1},{"name":"Naïm Favier","email":"n@monade.li","login":"ncfavier","count":1},{"name":"Musa Al-hassy","email":"alhassy@gmail.com","login":"alhassy","count":1},{"name":"Maximilien Tirard","email":"maximilien.tirard@icloud.com","login":"mglst","count":1},{"name":"Maxim Ivanov","email":"ulidtko@gmail.com","login":"ulidtko","count":1},{"name":"Marshall Abrams","email":"mars0i","login":"mars0i","count":1},{"name":"Malin Altenmüller","email":"malin.altenmuller@strath.ac.uk","login":"maltenmuller","count":1},{"name":"Liam O'Connor","email":"whiteslug@gmail.com","login":"liamoc","count":1},{"name":"Leonhard Markert","email":"curiousleo","login":"curiousleo","count":1},{"name":"Junyoung/\"Clare\" Jang","email":"jjc9310@gmail.com","login":"Ailrun","count":1},{"name":"Jonathan Castello","email":"twisol@jonathan.com","login":"Twisol","count":1},{"name":"Jinwoo Lee","email":"jinwoo@google.com","login":"jinwoo","count":1},{"name":"Jesin","email":"jesin00@gmail.com","login":"Jesin","count":1},{"name":"Jean-Philippe Bernardy","email":"jeanphilippe.bernardy@gmail.com","login":"jyp","count":1},{"name":"Javier Díaz","email":"32520015+javierdiaz72","login":"javierdiaz72","count":1},{"name":"Jannis Limperg","email":"jannis@limperg.de","login":"JLimperg","count":1},{"name":"Jamie Lowenthal","email":"jmlowenthal","login":"jmlowenthal","count":1},{"name":"Jacques Comeaux","email":"jacquesrcomeaux@protonmail.com","login":"jacquescomeaux","count":1},{"name":"Ioannis Markakis","email":"70938217+jmarkakis","login":"jmarkakis","count":1},{"name":"Ingo Blechschmidt","email":"iblech@web.de","login":"iblech","count":1},{"name":"Helmut Grohne","email":"helmut@subdivi.de","login":"helmutg","count":1},{"name":"Guannan Wei","email":"kiss.kraks@gmail.com","login":"Kraks","count":1}],"past_year_committers":[{"name":"jamesmckinna","email":"31931406+jamesmckinna","login":"jamesmckinna","count":70},{"name":"Nathan van Doorn","email":"nvd1234@gmail.com","login":"Taneb","count":16},{"name":"G. Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":9},{"name":"Matthew Daggitt","email":"matthewdaggitt@gmail.com","login":"MatthewDaggitt","count":6},{"name":"Silas Hayes-Williams","email":"58709355+silas-hw","login":"silas-hw","count":6},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":4},{"name":"shuhung","email":"shhyou","login":"shhyou","count":4},{"name":"Jakub Kopański","email":"jakub@famisoft.pl","login":"jkopanski","count":3},{"name":"Michael DeLorimier","email":"72283908+mikedelorimier","login":"mikedelorimier","count":3},{"name":"Bradley Saul","email":"bradleysaul@fastmail.com","login":"bsaul","count":2},{"name":"Amélia Liao","email":"me@amelia.how","login":"plt-amy","count":1},{"name":"Andrés Ortega","email":"aortega0703@gmail.com","login":"aortega0703","count":1},{"name":"Brian E","email":"72316548+Brian-ED","login":"Brian-ED","count":1},{"name":"Carlos Tomé Cortiñas","email":"carlos.tome.cortinas@gmail.com","login":"carlostome","count":1},{"name":"Felix Klein","email":"klein@react.uni-saarland.de","login":"kleinreact","count":1},{"name":"Jacques Comeaux","email":"jacquesrcomeaux@protonmail.com","login":"jacquescomeaux","count":1},{"name":"Lex van der Stoep","email":"lex.vanderstoep@gmail.com","login":"lexvanderstoep","count":1},{"name":"Piotr Paradziński","email":"dancingwithopenheart@gmail.com","login":"dancewithheart","count":1},{"name":"Ruifeng Xie","email":"ruifengx@outlook.com","login":"ruifengx","count":1},{"name":"Samuel","email":"0csharp0@gmail.com","login":"IchiganCS","count":1},{"name":"Thorsten Wißmann","email":"s-github2@thorsten-wissmann.de","login":"t-wissmann","count":1},{"name":"e-mniang","email":"mariam.niang.etu@gmail.com","login":"e-mniang","count":1}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-09-23T00:00:08.362Z","repositories_count":7585624,"commits_count":1156731599,"contributors_count":52028882,"owners_count":1541867,"committers_count":3602104,"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"}}