{"full_name":"coq/opam","default_branch":"master","committers":[{"name":"Guillaume Claret","email":"dev@clarus.me","login":null,"count":1028},{"name":"Karl Palmskog","email":"palmskog@gmail.com","login":null,"count":652},{"name":"Enrico Tassi","email":"Enrico.Tassi@Inria.fr","login":null,"count":308},{"name":"Guillaume Melquiond","email":"guillaume.melquiond@inria.fr","login":null,"count":253},{"name":"Matthieu Sozeau","email":"mattam@mattam.org","login":null,"count":140},{"name":"Reynald Affeldt","email":"reynald.affeldt@aist.go.jp","login":null,"count":131},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":125},{"name":"Pierre Roux","email":"pierre.roux@onera.fr","login":null,"count":117},{"name":"Michael Soegtrop","email":"7895506+MSoegtropIMC","login":"MSoegtropIMC","count":115},{"name":"Matej Košík","email":"matej.kosik@inria.fr","login":null,"count":92},{"name":"Cyril Cohen","email":"cohen@crans.org","login":null,"count":88},{"name":"Enrico Tassi","email":"Enrico.Tassi@inria.fr","login":null,"count":83},{"name":"Yishuai Li","email":"yishuai@upenn.edu","login":null,"count":70},{"name":"François Pottier","email":"francois.pottier@inria.fr","login":null,"count":65},{"name":"Pierre Roux","email":"pierre@roux01.fr","login":null,"count":59},{"name":"Lasse Blaauwbroek","email":"lasse@blaauwbroek.eu","login":null,"count":52},{"name":"Yves Bertot","email":"Yves.Bertot@inria.fr","login":null,"count":51},{"name":"Ralf Jung","email":"post@ralfj.de","login":null,"count":51},{"name":"Li-yao Xia","email":"lysxia@gmail.com","login":null,"count":49},{"name":"Gregory Malecha","email":"gmalecha@gmail.com","login":null,"count":48},{"name":"thery","email":"thery@sophia.inria.fr","login":null,"count":48},{"name":"Kazuhiko Sakaguchi","email":"pi8027@gmail.com","login":null,"count":46},{"name":"Enrico Tassi","email":"gares@fettunta.org","login":null,"count":46},{"name":"Frédéric Blanqui","email":"frederic.blanqui@inria.fr","login":null,"count":45},{"name":"Erik Martin-Dorel","email":"erik@martin-dorel.org","login":null,"count":43},{"name":"Anton Trunov","email":"anton.a.trunov@gmail.com","login":null,"count":42},{"name":"Bas Spitters","email":"b.a.w.spitters@gmail.com","login":null,"count":40},{"name":"Yishuai Li","email":"liyishuai.lys@alibaba-inc.com","login":null,"count":40},{"name":"Matthieu Sozeau","email":"matthieu.sozeau@inria.fr","login":null,"count":38},{"name":"Arthur Azevedo de Amorim","email":"arthur.aa@gmail.com","login":null,"count":37},{"name":"Matej Kosik","email":"m4tej.kosik@gmail.com","login":null,"count":37},{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":34},{"name":"Dominique Larchey-Wendling","email":"larchey@gmail.com","login":null,"count":33},{"name":"Damien Pous","email":"damien.pous@ens-lyon.fr","login":null,"count":33},{"name":"Hugo Herbelin","email":"Hugo.Herbelin@inria.fr","login":null,"count":33},{"name":"Yishuai Li","email":"yishuai@cis.upenn.edu","login":null,"count":30},{"name":"minkiminki","email":"minki.cho@sf.snu.ac.kr","login":null,"count":30},{"name":"Vadim Zaliva","email":"lord@crocodile.org","login":null,"count":27},{"name":"Pierre-Yves Strub","email":"pierre-yves@strub.nu","login":null,"count":26},{"name":"thery","email":"Laurent.Thery@inria.fr","login":null,"count":24},{"name":"Andrew Appel","email":"appel@princeton.edu","login":null,"count":23},{"name":"Yishuai Li","email":"liyishuai","login":"liyishuai","count":21},{"name":"Ali Caglayan","email":"alizter@gmail.com","login":null,"count":21},{"name":"Théo Zimmermann","email":"theo.zimmermann@univ-paris-diderot.fr","login":null,"count":19},{"name":"Chantal Keller","email":"Chantal.Keller@lri.fr","login":null,"count":19},{"name":"Julien Narboux","email":"julien@narboux.fr","login":null,"count":18},{"name":"Cyril Cohen","email":"CohenCyril","login":"CohenCyril","count":18},{"name":"beta","email":"beta@mpi-sws.org","login":null,"count":18},{"name":"Aleksandar Nanevski","email":"aleks.nanevski@imdea.org","login":null,"count":18},{"name":"Jerome Simeon","email":"jeromesimeon@me.com","login":null,"count":17},{"name":"ZhengPu Shi","email":"zhengpushi@nuaa.edu.cn","login":null,"count":17},{"name":"Julien Narboux","email":"Julien@narboux.fr","login":null,"count":17},{"name":"John Wiegley","email":"johnw@newartisans.com","login":null,"count":17},{"name":"Ralf Jung","email":"jung@mpi-sws.org","login":null,"count":16},{"name":"Jason Gross","email":"jasongross9@gmail.com","login":null,"count":15},{"name":"Olivier Laurent","email":"olivier.laurent@ens-lyon.fr","login":null,"count":15},{"name":"ildyria","email":"beviguier@gmail.com","login":null,"count":14},{"name":"Thomas Letan","email":"lthms@soap.coffee","login":null,"count":14},{"name":"Maxime Dénès","email":"mail@maximedenes.fr","login":null,"count":14},{"name":"Frédéric Besson","email":"frederic.besson@inria.fr","login":null,"count":13},{"name":"coqelpibot","email":"coqelpibot@inria.fr","login":null,"count":13},{"name":"Maxime Dénès","email":"maxime.denes@inria.fr","login":null,"count":13},{"name":"Jerome Simeon","email":"simeon@us.ibm.com","login":null,"count":12},{"name":"Leonidas Lampropoulos","email":"lemonidas_13@hotmail.com","login":null,"count":12},{"name":"Tej Chajed","email":"tchajed@mit.edu","login":null,"count":12},{"name":"William Mansky","email":"mansky1@uic.edu","login":null,"count":12},{"name":"Alex Gryzlov","email":"aliaksandr.hryzlou@imdea.org","login":null,"count":11},{"name":"Chantal Keller","email":"ckeller@lmf.cnrs.fr","login":null,"count":11},{"name":"Pierre Courtieu","email":"Pierre.Courtieu@cnam.fr","login":null,"count":11},{"name":"affeldt-aist","email":"33154536+affeldt-aist","login":"affeldt-aist","count":10},{"name":"raoxj","email":"raoxiaojia@gmail.com","login":null,"count":10},{"name":"Yannick Forster","email":"forster@ps.uni-saarland.de","login":null,"count":10},{"name":"Théo Zimmermann","email":"theo.zimmermann@inria.fr","login":null,"count":10},{"name":"Thomas Braibant","email":"thomas.braibant@inria.fr","login":null,"count":10},{"name":"Emilio Jesus Gallego Arias","email":"e+git@x80.org","login":null,"count":10},{"name":"Erik Martin-Dorel","email":"erik.martin-dorel@irit.fr","login":null,"count":9},{"name":"yarik","email":"yroslav541@gmail.com","login":null,"count":9},{"name":"Damien Pous","email":"Damien.Pous@ens-lyon.fr","login":null,"count":9},{"name":"4ever2","email":"3417013+4ever2","login":"4ever2","count":9},{"name":"Yves Bertot (he)","email":"yves.bertot@inria.fr","login":null,"count":8},{"name":"Gregory Malecha","email":"gmalecha@cs.harvard.edu","login":null,"count":8},{"name":"Jelle Wemmenhove","email":"jellewemmenhove@live.nl","login":null,"count":8},{"name":"Yannick Forster","email":"yannick.forster@inria.fr","login":null,"count":8},{"name":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","login":null,"count":8},{"name":"Lukasz Czajka","email":"lukaszcz@mimuw.edu.pl","login":null,"count":8},{"name":"Larry Lee","email":"larry_lee@elucidsolutions.com","login":null,"count":8},{"name":"Thomas Letan","email":"thomas.letan@ssi.gouv.fr","login":null,"count":7},{"name":"Christian Doczkal","email":"christian.doczkal@inria.fr","login":null,"count":7},{"name":"Masayuki Mizuno","email":"mizuno@wantedly.com","login":null,"count":6},{"name":"Romain Tetley","email":"romain.tetley@inria.fr","login":null,"count":6},{"name":"Steven Keuchel","email":"steven.keuchel@gmail.com","login":null,"count":6},{"name":"Xavier Leroy","email":"xavier.leroy@college-de-france.fr","login":null,"count":6},{"name":"Yannick Forster","email":"yannick@yforster.de","login":null,"count":6},{"name":"Abhishek Anand (@brixpro-home)","email":"abhishek.anand.iitg@gmail.com","login":null,"count":6},{"name":"Nifrec","email":"53492869+Nifrec","login":"Nifrec","count":5},{"name":"arvidj","email":"arvid.jakobsson@gmail.com","login":null,"count":5},{"name":"Travis-CI Bot","email":"Travis-CI-Bot@travis.fake","login":null,"count":5},{"name":"Thomas Tuerk","email":"thomas@tuerk-brechen.de","login":null,"count":5},{"name":"Qianchuan Ye","email":"yeqianchuan@gmail.com","login":null,"count":5},{"name":"Pierre-Marie Pédrot","email":"pierre-marie.pedrot@inria.fr","login":null,"count":5},{"name":"MathisBD","email":"mathis.bouverot@ens.psl.eu","login":null,"count":5},{"name":"Kartik Singhal","email":"ks@cs.uchicago.edu","login":null,"count":5},{"name":"Jan Tusil","email":"jenda.tusil@gmail.com","login":null,"count":5},{"name":"Jacques-Henri Jourdan","email":"jacques-henri.jourdan@normalesup.org","login":null,"count":5},{"name":"Gil Hur","email":"gil.hur@sf.snu.ac.kr","login":null,"count":5},{"name":"Christian Doczkal","email":"christian.doczkal@ens-lyon.fr","login":null,"count":5},{"name":"Armaël Guéneau","email":"armael.gueneau@ens-lyon.fr","login":null,"count":5},{"name":"Amin Timany","email":"amintimany@gmail.com","login":null,"count":5},{"name":"Marco Maggesi","email":"1809783+maggesi","login":"maggesi","count":4},{"name":"François Pottier","email":"fpottier","login":"fpottier","count":4},{"name":"tomaz1502","email":"tomgm1502@gmail.com","login":null,"count":4},{"name":"joan thibault","email":"joan.thibault@inria.fr","login":null,"count":4},{"name":"amethyst","email":"yosukeito@itouyousuke-no-MacBook-Air.local","login":null,"count":4},{"name":"Wolfgang Meier","email":"womeier@posteo.de","login":null,"count":4},{"name":"Qinshi Wang","email":"qinshiw@cs.princeton.edu","login":null,"count":4},{"name":"Enzo Crance","email":"enzo.crance@inria.fr","login":null,"count":4},{"name":"Brian Campbell","email":"Brian.Campbell@ed.ac.uk","login":null,"count":4},{"name":"Bendy","email":"bendy@csail.mit.edu","login":null,"count":4},{"name":"Ankit Kumar","email":"ankitkumar.itbhu@gmail.com","login":null,"count":4},{"name":"Adrian Lehmann","email":"info@adrianlehmann.net","login":null,"count":4},{"name":"1DGW","email":"155703858+1DGW","login":"1DGW","count":3},{"name":"Columbus240","email":"8899730+Columbus240","login":"Columbus240","count":3},{"name":"Pierre Boutry","email":"contact@pierre-boutry.fr","login":null,"count":3},{"name":"Michael Sammler","email":"noreply@sammler.me","login":null,"count":3},{"name":"Kiran Gopinathan","email":"kirang@comp.nus.edu.sg","login":null,"count":3},{"name":"Kenji Maillard","email":"kenji@maillard.blue","login":null,"count":3},{"name":"Calvin Beck","email":"hobbes@ualberta.ca","login":null,"count":3},{"name":"Beta Ziliani","email":"bziliani@famaf.unc.edu.ar","login":null,"count":3},{"name":"Barry jay","email":"Barry.Jay8@gmail.com","login":null,"count":3},{"name":"Pierre Letouzey","email":"pierre.letouzey@inria.fr","login":null,"count":3},{"name":"Pierre-Évariste Dagand","email":"pierre-evariste.dagand@lip6.fr","login":null,"count":3},{"name":"Ramkumar Ramachandra","email":"r@artagnon.com","login":null,"count":3},{"name":"Romain Tetley","email":"rtetley@protonmail.com","login":null,"count":3},{"name":"Thomas Braibant","email":"thomas.braibant@gmail.com","login":null,"count":3},{"name":"Arvid Jakobsson","email":"arvid.jakobsson@nomadic-labs.com","login":null,"count":3},{"name":"Isaac van Bakel","email":"ivb@vanbakel.io","login":null,"count":3},{"name":"vscoqbot","email":"vscoqbot@inria.fr","login":null,"count":3},{"name":"alxest","email":"youngju.song@sf.snu.ac.kr","login":null,"count":3},{"name":"Timmy Weerwag","email":"timmy@timmyweerwag.nl","login":null,"count":3},{"name":"Timmy Weerwag","email":"timmy.weerwag@ogd.nl","login":null,"count":3},{"name":"ebveeti","email":"56975325+ebveeti","login":"ebveeti","count":2},{"name":"ckeller","email":"ckeller","login":"ckeller","count":2},{"name":"Lasse Blaauwbroek","email":"LasseBlaauwbroek","login":"LasseBlaauwbroek","count":2},{"name":"Ralph Matthes","email":"rmatthes","login":"rmatthes","count":2},{"name":"hengruo","email":"xxx@yyy.zzz","login":null,"count":2},{"name":"Samuel Hym","email":"samuel.hym@univ-lille.fr","login":null,"count":2},{"name":"Quim Casals","email":"quim.casals@gmail.com","login":null,"count":2},{"name":"Mireia","email":"mireia.gbedmar@gmail.com","login":null,"count":2},{"name":"Micaela Mayero","email":"micaela.mayero@lipn.univ-paris13.fr","login":null,"count":2},{"name":"Johannes Hostert","email":"jhostert@ethz.ch","login":null,"count":2},{"name":"Joan Thibault","email":"joan.thibault@ens-rennes.fr","login":null,"count":2},{"name":"Jean-Christophe Léchenet","email":"jean-christophe.lechenet@inria.fr","login":null,"count":2},{"name":"Tej Chajed","email":"tchajed@gmail.com","login":null,"count":2},{"name":"Théo Zimmermann","email":"theo.zimmermann@telecom-paris.fr","login":null,"count":2},{"name":"Veeti Eronen","email":"eronenveeti174@gmail.com","login":null,"count":2},{"name":"Vincent Laporte","email":"Vincent.Laporte@fondation-inria.fr","login":null,"count":2},{"name":"Vincent Laporte","email":"Vincent.Laporte@inria.fr","login":null,"count":2},{"name":"Xavier Leroy","email":"xavier.leroy@inria.fr","login":null,"count":2},{"name":"Xuanrui Qi","email":"me@xuanruiqi.com","login":null,"count":2},{"name":"Yakir Forman","email":"yakir.forman@twosixtech.com","login":null,"count":2},{"name":"Guillaume Claret","email":"guillaume@claret.me","login":null,"count":2},{"name":"Evgenii Moiseenko","email":"evg.moiseenko94@gmail.com","login":null,"count":2},{"name":"Chantal Keller","email":"Chantal.Keller@inria.fr","login":null,"count":2},{"name":"Arthur Blot","email":"arthur.blot78@gmail.com","login":null,"count":2},{"name":"Anton Trunov","email":"anton@zilliqa.com","login":null,"count":2},{"name":"fritjof","email":"fritjof@alokat.org","login":null,"count":2},{"name":"Yao Li","email":"hnkfliyao@gmail.com","login":null,"count":2},{"name":"Yannick Forster","email":"forster@cs.uni-saarland.de","login":null,"count":2},{"name":"Yang Ming-Tian","email":"i@skylee.xyz","login":null,"count":2},{"name":"Jaehyung Lee","email":"jaehyung.lee@sf.snu.ac.kr","login":null,"count":1},{"name":"Jacques-Henri Jourdan","email":"jacques-henri.jourdan@cnrs.fr","login":null,"count":1},{"name":"Jacques Garrigue","email":"garrigue@math.nagoya-u.ac.jp","login":null,"count":1},{"name":"Hugo Férée","email":"feree@irif.fr","login":null,"count":1},{"name":"Guillaume Melquiond","email":"guillaume.melquiond@gmail.com","login":null,"count":1},{"name":"Gordon Stewart","email":"gstew5@gmail.com","login":null,"count":1},{"name":"Jaehyung Lee","email":"trigon1926@snu.ac.kr","login":null,"count":1},{"name":"Jan-Oliver Kaiser","email":"janno@bedrocksystems.com","login":null,"count":1},{"name":"Jerome Simeon","email":"Jerome.Simeon@docusign.com","login":null,"count":1},{"name":"Jesper Bengtson","email":"bengtson@itu.dk","login":null,"count":1},{"name":"Jim Portegies","email":"j.w.portegies@tue.nl","login":null,"count":1},{"name":"Beta Ziliani","email":"beta-ziliani","login":"beta-ziliani","count":1},{"name":"jim-portegies","email":"36723906+jim-portegies","login":"jim-portegies","count":1},{"name":"Xia Li-yao","email":"Lysxia","login":"Lysxia","count":1},{"name":"Vincent Laporte","email":"vbgl","login":"vbgl","count":1},{"name":"MackieLoeffel","email":"MackieLoeffel","login":"MackieLoeffel","count":1},{"name":"Olivier Laurent","email":"30601497+olaure01","login":"olaure01","count":1},{"name":"Johannes Hostert","email":"johannesmatthias.hostert@inf.ethz.ch","login":null,"count":1},{"name":"Kartik Singhal","email":"kartiksinghal@gmail.com","login":null,"count":1},{"name":"Larry D. Lee Jr","email":"llee454@gmail.com","login":null,"count":1},{"name":"Lars Rasmusson","email":"Lars.Rasmusson@gmail.com","login":null,"count":1},{"name":"Lee Dong Jae","email":"morigo7@snu.ac.kr","login":null,"count":1},{"name":"Lennard Gäher","email":"l.gaeher@posteo.de","login":null,"count":1},{"name":"Siddharth Bhat","email":"siddu.druid@gmail.com","login":null,"count":1},{"name":"Samuel Gruetter","email":"samuel.gruetter@epfl.ch","login":null,"count":1},{"name":"Ricky Elrod","email":"ricky@elrod.me","login":null,"count":1},{"name":"Raphaël Cauderlier","email":"raphael.cauderlier@nomadic-labs.com","login":null,"count":1},{"name":"Pierre PomCo","email":"pierre.pomeret@univ-tlse3.fr","login":null,"count":1},{"name":"Pierre Courtieu","email":"Pierre.Courtieu@gmail.com","login":null,"count":1},{"name":"Pierre Boutry","email":"boutry@eduroam-093b.sophia.inria.fr","login":null,"count":1},{"name":"Mohammad-Ali A'RÂBI","email":"aerabi@gmx.de","login":null,"count":1},{"name":"Matthieu Sozeau","email":"mattam@eduroam-prg-sg-1-45-213.net.univ-paris-diderot.fr","login":null,"count":1},{"name":"Lulof Pirée","email":"lulof.piree@zoho.com","login":null,"count":1},{"name":"Louis Mandel","email":"lmandel@us.ibm.com","login":null,"count":1},{"name":"Leonidas Lampropoulos","email":"leonidas@umd.edu","login":null,"count":1},{"name":"Stéphane P. Desarzens","email":"st.desarzens@bluewin.ch","login":null,"count":1},{"name":"Vadim Zaliva","email":"vz231@cl.cam.ac.uk","login":null,"count":1},{"name":"Yoshihiro Imai","email":"y.imai@aist.go.jp","login":null,"count":1},{"name":"amethyst","email":"yosukeito@itouyouukenoAir.lan","login":null,"count":1},{"name":"majorseitan@blockfreie.org","email":"majorseitan@blockfreie.org","login":null,"count":1},{"name":"pPomCo","email":"pierre.pomeret@irit.fr","login":null,"count":1},{"name":"picojulien","email":"julien.tesson@lacl.fr","login":null,"count":1},{"name":"qdelta","email":"qdelta@qdelta.com","login":null,"count":1},{"name":"valomay","email":"valomay@protonmail.com","login":null,"count":1},{"name":"volodeyka","email":"vovaglad00@gmail.com","login":null,"count":1},{"name":"Adrian Dapprich","email":"adrian@dapprich.dev","login":null,"count":1},{"name":"Andres Erbsen","email":"github@andres.systems","login":null,"count":1},{"name":"Andrew Miloradovsky","email":"andrew@interpretmath.pw","login":null,"count":1},{"name":"Anton Trunov","email":"anton.trunov@imdea.org","login":null,"count":1},{"name":"Bernhard Schommer","email":"bernhardschommer@gmail.com","login":null,"count":1},{"name":"Björn Brandenburg","email":"bbb@mpi-sws.org","login":null,"count":1},{"name":"Christian Doczkal","email":"doczkal@ps.uni-saarland.de","login":null,"count":1},{"name":"DwarfMaster","email":"luc@dwarfmaster.net","login":null,"count":1},{"name":"Fabian Kunze","email":"fkunze@fkunze.de","login":null,"count":1}],"total_commits":5252,"total_committers":223,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":23.55156950672646,"dds":0.8042650418888042,"past_year_committers":[{"name":"Karl Palmskog","email":"palmskog@gmail.com","login":null,"count":117},{"name":"Dominique Larchey-Wendling","email":"larchey@gmail.com","login":null,"count":31},{"name":"Pierre Roux","email":"pierre.roux@onera.fr","login":null,"count":29},{"name":"Reynald Affeldt","email":"reynald.affeldt@aist.go.jp","login":null,"count":28},{"name":"Yishuai Li","email":"liyishuai.lys@alibaba-inc.com","login":null,"count":27},{"name":"Pierre Roux","email":"pierre@roux01.fr","login":null,"count":18},{"name":"Aleksandar Nanevski","email":"aleks.nanevski@imdea.org","login":null,"count":15},{"name":"Enrico Tassi","email":"Enrico.Tassi@inria.fr","login":null,"count":13},{"name":"Matthieu Sozeau","email":"matthieu.sozeau@inria.fr","login":null,"count":13},{"name":"Frédéric Blanqui","email":"frederic.blanqui@inria.fr","login":null,"count":11},{"name":"coqelpibot","email":"coqelpibot@inria.fr","login":null,"count":11},{"name":"William Mansky","email":"mansky1@uic.edu","login":null,"count":10},{"name":"Guillaume Melquiond","email":"guillaume.melquiond@inria.fr","login":null,"count":10},{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":9},{"name":"4ever2","email":"3417013+4ever2","login":"4ever2","count":9},{"name":"Li-yao Xia","email":"lysxia@gmail.com","login":null,"count":8},{"name":"raoxiaojia","email":"raoxiaojia@gmail.com","login":null,"count":7},{"name":"Kazuhiko Sakaguchi","email":"pi8027@gmail.com","login":null,"count":7},{"name":"Michael Soegtrop","email":"7895506+MSoegtropIMC","login":"MSoegtropIMC","count":6},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":6},{"name":"Yves Bertot (he)","email":"yves.bertot@inria.fr","login":null,"count":6},{"name":"Chantal Keller","email":"ckeller@lmf.cnrs.fr","login":null,"count":5},{"name":"MathisBD","email":"mathis.bouverot@ens.psl.eu","login":null,"count":5},{"name":"affeldt-aist","email":"33154536+affeldt-aist","login":"affeldt-aist","count":4},{"name":"tomaz1502","email":"tomgm1502@gmail.com","login":null,"count":4},{"name":"ZhengPu Shi","email":"zhengpushi@nuaa.edu.cn","login":null,"count":4},{"name":"Damien Pous","email":"damien.pous@ens-lyon.fr","login":null,"count":4},{"name":"Andrew Appel","email":"appel@princeton.edu","login":null,"count":4},{"name":"Adrian Lehmann","email":"info@adrianlehmann.net","login":null,"count":4},{"name":"Arthur Azevedo de Amorim","email":"arthur.aa@gmail.com","login":null,"count":3},{"name":"Calvin Beck","email":"hobbes@ualberta.ca","login":null,"count":3},{"name":"1DGW","email":"155703858+1DGW","login":"1DGW","count":3},{"name":"Enrico Tassi","email":"Enrico.Tassi@Inria.fr","login":null,"count":3},{"name":"Erik Martin-Dorel","email":"erik.martin-dorel@irit.fr","login":null,"count":3},{"name":"François Pottier","email":"francois.pottier@inria.fr","login":null,"count":3},{"name":"Kenji Maillard","email":"kenji@maillard.blue","login":null,"count":3},{"name":"Lasse Blaauwbroek","email":"lasse@blaauwbroek.eu","login":null,"count":3},{"name":"Michael Sammler","email":"noreply@sammler.me","login":null,"count":3},{"name":"Pierre Boutry","email":"contact@pierre-boutry.fr","login":null,"count":3},{"name":"Qianchuan Ye","email":"yeqianchuan@gmail.com","login":null,"count":3},{"name":"Yves Bertot","email":"Yves.Bertot@inria.fr","login":null,"count":3},{"name":"Ralph Matthes","email":"rmatthes","login":"rmatthes","count":2},{"name":"Ali Caglayan","email":"alizter@gmail.com","login":null,"count":2},{"name":"Lukasz Czajka","email":"lukaszcz@mimuw.edu.pl","login":null,"count":2},{"name":"Olivier Laurent","email":"olivier.laurent@ens-lyon.fr","login":null,"count":2},{"name":"Pierre Courtieu","email":"Pierre.Courtieu@cnam.fr","login":null,"count":2},{"name":"Théo Zimmermann","email":"theo.zimmermann@telecom-paris.fr","login":null,"count":2},{"name":"Xavier Leroy","email":"xavier.leroy@college-de-france.fr","login":null,"count":2},{"name":"Yang Ming-Tian","email":"i@skylee.xyz","login":null,"count":2},{"name":"Yannick Forster","email":"yannick.forster@inria.fr","login":null,"count":2},{"name":"Andres Erbsen","email":"github@andres.systems","login":null,"count":1},{"name":"Cyril Cohen","email":"cohen@crans.org","login":null,"count":1},{"name":"Erik Martin-Dorel","email":"erik@martin-dorel.org","login":null,"count":1},{"name":"Guillaume Claret","email":"dev@clarus.me","login":null,"count":1},{"name":"Xia Li-yao","email":"Lysxia","login":"Lysxia","count":1},{"name":"MackieLoeffel","email":"MackieLoeffel","login":"MackieLoeffel","count":1},{"name":"Jacques-Henri Jourdan","email":"jacques-henri.jourdan@cnrs.fr","login":null,"count":1},{"name":"Jean-Christophe Léchenet","email":"jean-christophe.lechenet@inria.fr","login":null,"count":1},{"name":"Jesper Bengtson","email":"bengtson@itu.dk","login":null,"count":1},{"name":"Ralf Jung","email":"jung@mpi-sws.org","login":null,"count":1},{"name":"Ramkumar Ramachandra","email":"r@artagnon.com","login":null,"count":1},{"name":"Tej Chajed","email":"tchajed@gmail.com","login":null,"count":1},{"name":"Vadim Zaliva","email":"lord@crocodile.org","login":null,"count":1},{"name":"Wolfgang Meier","email":"womeier@posteo.de","login":null,"count":1},{"name":"Yannick Forster","email":"yannick@yforster.de","login":null,"count":1},{"name":"Yoshihiro Imai","email":"y.imai@aist.go.jp","login":null,"count":1},{"name":"thery","email":"Laurent.Thery@inria.fr","login":null,"count":1}],"past_year_total_commits":496,"past_year_total_committers":67,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":7.402985074626866,"past_year_dds":0.7641129032258065,"last_synced_at":"2024-12-11T14:05:52.765Z","last_synced_commit":"9053a1cff5b074a8a17149dae7b6e7cd69c1480b","created_at":"2024-11-26T09:13:03.102Z","updated_at":"2024-12-11T14:05:52.766Z","commits_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fopam/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2024-11-28T23:00:20.273Z","repositories_count":58,"commits_count":38457,"contributors_count":1412,"owners_count":30,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories"}}