{"full_name":"coq/coq","default_branch":"master","committers":[{"name":"Hugo Herbelin","email":"Hugo.Herbelin@inria.fr","login":null,"count":8719},{"name":"Pierre-Marie Pédrot","email":"pierre-marie.pedrot@inria.fr","login":null,"count":4712},{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":3117},{"name":"Pierre Letouzey","email":"pierre.letouzey@inria.fr","login":null,"count":2002},{"name":"Matthieu Sozeau","email":"mattam@mattam.org","login":null,"count":1804},{"name":"Emilio Jesús Gallego Arias","email":"e@x80.org","login":null,"count":1483},{"name":"Enrico Tassi","email":"Enrico.Tassi@inria.fr","login":null,"count":1321},{"name":"Jean-Christophe Filliâtre","email":"Jean-Christophe.Filliatre@lri.fr","login":null,"count":1202},{"name":"Théo Zimmermann","email":"theo.zimmermann@telecom-paris.fr","login":null,"count":1143},{"name":"Maxime Dénès","email":"mail@maximedenes.fr","login":null,"count":960},{"name":"anonymous","email":" ","login":null,"count":638},{"name":"Arnaud Spiwack","email":"arnaud@spiwack.net","login":null,"count":557},{"name":"Guillaume Melquiond","email":"guillaume.melquiond@inria.fr","login":null,"count":541},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":523},{"name":"Pierre Roux","email":"pierre@roux01.fr","login":null,"count":487},{"name":"Bruno Barras","email":"bruno.barras@inria.fr","login":null,"count":473},{"name":"Pierre Boutillier","email":"pierre.boutillier@ens-lyon.org","login":null,"count":437},{"name":"Jean-Marc Notin","email":"notin@gforge","login":null,"count":354},{"name":"Jim Fehrle","email":"jim.fehrle@gmail.com","login":null,"count":292},{"name":"Matej Košík","email":"matej.kosik@inria.fr","login":null,"count":280},{"name":"Stéphane Glondu","email":"steph@glondu.net","login":null,"count":253},{"name":"Vincent Laporte","email":"Vincent.Laporte@inria.fr","login":null,"count":252},{"name":"Yves Bertot","email":"yves.bertot@inria.fr","login":null,"count":232},{"name":"Claudio Sacerdoti Coen","email":"sacerdot@gforge","login":null,"count":202},{"name":"Christine Paulin","email":"cpaulin@gforge","login":null,"count":199},{"name":"Jasper Hugunin","email":"jasper@hugunin.net","login":null,"count":188},{"name":"Olivier Desmettre","email":"desmettr@gforge","login":null,"count":181},{"name":"Ali Caglayan","email":"alizter@gmail.com","login":null,"count":167},{"name":"Julien Forest","email":"julien.forest@ensiie.fr","login":null,"count":164},{"name":"Pierre Courtieu","email":"Pierre.Courtieu@cnam.fr","login":null,"count":136},{"name":"David Delahaye","email":"delahaye@gforge","login":null,"count":129},{"name":"Pierre Corbineau","email":"Pierre.Corbineau@NOSPAM@imag.fr","login":null,"count":123},{"name":"Julien Narboux","email":"jnarboux@gforge","login":null,"count":107},{"name":"Frédéric Besson","email":"frederic.besson@inria.fr","login":null,"count":99},{"name":"Matthias Puech","email":"puech@gforge","login":null,"count":91},{"name":"Clément Pit-Claudel","email":"clement.pitclaudel@live.com","login":null,"count":88},{"name":"Yann Régis-Gianas","email":"yrg@pps.univ-paris-diderot.fr","login":null,"count":79},{"name":"Benjamin Monate","email":"monate@gforge","login":null,"count":79},{"name":"Elie Soubiran","email":"soubiran@gforge","login":null,"count":76},{"name":"Olivier Laurent","email":"olivier.laurent@ens-lyon.fr","login":null,"count":76},{"name":"Erik Martin-Dorel","email":"erik.martin-dorel@irit.fr","login":null,"count":71},{"name":"Michael Soegtrop","email":"michael.soegtrop@intel.com","login":null,"count":70},{"name":"Tanaka Akira","email":"akr@fsij.org","login":null,"count":69},{"name":"Pierre Rousselin","email":"rousselin@math.univ-paris13.fr","login":null,"count":69},{"name":"Vincent Gross","email":"vgross@gforge","login":null,"count":68},{"name":"Paul Steckler","email":"steck@stecksoft.com","login":null,"count":67},{"name":"Lasse Blaauwbroek","email":"lasse@blaauwbroek.eu","login":null,"count":66},{"name":"Xavier Clerc","email":"xavier.clerc@inria.fr","login":null,"count":60},{"name":"Judicaël Courant","email":"courant@gforge","login":null,"count":57},{"name":"Rodolphe Lepigre","email":"rodolphe@bedrocksystems.com","login":null,"count":56},{"name":"Lionel Elie Mamane","email":"lmamane@gforge","login":null,"count":55},{"name":"Tej Chajed","email":"tchajed@mit.edu","login":null,"count":54},{"name":"Clément Renard","email":"clrenard@gforge","login":null,"count":54},{"name":"Yann Leray","email":"yann.leray@inria.fr","login":null,"count":53},{"name":"Evgeny Makarov","email":"emakarov@gforge","login":null,"count":49},{"name":"Claude Marché","email":"marche@gforge","login":null,"count":46},{"name":"Amin Timany","email":"amintimany@gmail.com","login":null,"count":46},{"name":"Laurent Théry","email":"laurent.thery@inria.fr","login":null,"count":41},{"name":"Kazuhiko Sakaguchi","email":"pi8027@gmail.com","login":null,"count":39},{"name":"Ralf Jung","email":"post@ralfj.de","login":null,"count":39},{"name":"Yishuai Li","email":"yishuai@cis.upenn.edu","login":null,"count":38},{"name":"Benjamin Grégoire","email":"benjamin.gregoire@inria.fr","login":null,"count":37},{"name":"Micaela Mayero","email":"mayero@gforge","login":null,"count":36},{"name":"Cyprien Mangin","email":"cyprien.mangin@m4x.org","login":null,"count":35},{"name":"Andres Erbsen","email":"andres-github@andres.systems","login":null,"count":33},{"name":"Vincent Semeria","email":"vincent.semeria@gmail.com","login":null,"count":33},{"name":"Andres Erbsen","email":"andreser@mit.edu","login":null,"count":32},{"name":"Simon Boulier","email":"simon.boulier@ens-rennes.fr","login":null,"count":32},{"name":"Sylvain Chiron","email":"chironsylvain@orange.fr","login":null,"count":32},{"name":"Vincent Siles","email":"vsiles@gforge","login":null,"count":31},{"name":"Jan-Oliver Kaiser","email":"janno@mpi-sws.org","login":null,"count":26},{"name":"Andrej Dudenhefner","email":"mrhaandi@gmail.com","login":null,"count":25},{"name":"Arthur Charguéraud","email":"arthur@chargueraud.org","login":null,"count":25},{"name":"Samuel Gruetter","email":"samuel.gruetter@epfl.ch","login":null,"count":24},{"name":"Li-yao Xia","email":"lysxia@gmail.com","login":null,"count":23},{"name":"Florent Kirchner","email":"fkirchne@gforge","login":null,"count":23},{"name":"Zeimer","email":"zzaimer@gmail.com","login":null,"count":22},{"name":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","login":null,"count":22},{"name":"Loïc Pottier","email":"pottier@gforge","login":null,"count":20},{"name":"Russell O'Connor","email":"roconnor@blockstream.io","login":null,"count":19},{"name":"Nickolai Zeldovich","email":"nickolai@csail.mit.edu","login":null,"count":19},{"name":"Gregory Malecha","email":"gmalecha@eecs.harvard.edu","login":null,"count":18},{"name":"Karl Palmskog","email":"palmskog@gmail.com","login":null,"count":18},{"name":"Ramkumar Ramachandra","email":"r@artagnon.com","login":null,"count":17},{"name":"Wojciech Karpiel","email":"w.karpiel@o2.pl","login":null,"count":16},{"name":"Gabriel Scherer","email":"gabriel.scherer@gmail.com","login":null,"count":15},{"name":"quarkcool","email":"quarkcool@yahoo.fr","login":null,"count":15},{"name":"Matthew Ryan","email":"mr_1993@hotmail.co.uk","login":null,"count":14},{"name":"Assia Mahboubi","email":"assia.mahboubi@inria.fr","login":null,"count":14},{"name":"Rodolphe Lepigre","email":"lepigre@mpi-sws.org","login":null,"count":14},{"name":"Kenji Maillard","email":"kenji.maillard@inria.fr","login":null,"count":13},{"name":"Quentin Vermande","email":"quentin.vermande@orange.fr","login":null,"count":13},{"name":"Cyril Cohen","email":"cyril.cohen@crans.org","login":null,"count":13},{"name":"Antonio Nikishaev","email":"me@lelf.lu","login":null,"count":12},{"name":"whitequark","email":"whitequark@whitequark.org","login":null,"count":12},{"name":"Stefan Haan","email":"stefan.haan@aau.at","login":null,"count":11},{"name":"Ana Borges","email":"ana.agvb@gmail.com","login":null,"count":10},{"name":"Stéphane Desarzens","email":"8899730+Columbus240","login":"Columbus240","count":10},{"name":"Sam Pablo Kuper","email":"sampablokuper@riseup.net","login":null,"count":9},{"name":"Raphaël Monat","email":"raphael.monat@ens-lyon.org","login":null,"count":9},{"name":"Marc Lasson","email":"marc.lasson@gmail.com","login":null,"count":9},{"name":"Joachim Breitner","email":"mail@joachim-breitner.de","login":null,"count":9},{"name":"Jean-Francois Monin","email":"jean-francois.monin@univ-grenoble-alpes.fr","login":null,"count":9},{"name":"Carst Tankink","email":"carst.tankink@inria.fr","login":null,"count":9},{"name":"Armaël Guéneau","email":"armael.gueneau@ens-lyon.org","login":null,"count":9},{"name":"Anton Trunov","email":"anton.a.trunov@gmail.com","login":null,"count":9},{"name":"Anton Danilkin","email":"afdw@yandex.ru","login":null,"count":9},{"name":"Oliver Nash","email":"oliver.nash@gmail.com","login":null,"count":8},{"name":"Martin Bodin","email":"martin.bodin@ens-lyon.org","login":null,"count":8},{"name":"Mario Frank","email":"mario.frank@uni-potsdam.de","login":null,"count":8},{"name":"Abhishek Anand","email":"abhishek.anand.iitg@gmail.com","login":null,"count":8},{"name":"remzi","email":"13716567376yh@gmail.com","login":null,"count":7},{"name":"Xavier Leroy","email":"xavier.leroy@college-de-france.fr","login":null,"count":7},{"name":"Wolf Honore","email":"wolfhonore@gmail.com","login":null,"count":7},{"name":"Talia Ringer","email":"tringer@cs.washington.edu","login":null,"count":7},{"name":"Sébastien Hinderer","email":"Sebastien.Hinderer@inria.fr","login":null,"count":7},{"name":"Rudi Grinberg","email":"me@rgrinberg.com","login":null,"count":7},{"name":"Reynald Affeldt","email":"reynald.affeldt@aist.go.jp","login":null,"count":7},{"name":"Benjamin Werner","email":"werner@gforge","login":null,"count":7},{"name":"Andreas Lynge","email":"andreaslyn@gmail.com","login":null,"count":7},{"name":"Ambroise Lafont","email":"chaster_killer@hotmail.fr","login":null,"count":7},{"name":"Alec Faithfull","email":"alef@itu.dk","login":null,"count":6},{"name":"Fabian Kunze","email":"fkunze@fkunze.de","login":null,"count":6},{"name":"Guillaume Bertholon","email":"guillaume.bertholon@ens.fr","login":null,"count":6},{"name":"Jean-Pierre Rodi","email":"jprodi04@gmail.com","login":null,"count":6},{"name":"Johannes Kloos","email":"jkloos@mpi-sws.org","login":null,"count":6},{"name":"Siddharth Bhat","email":"siddu.druid@gmail.com","login":null,"count":6},{"name":"Thomas Sibut-Pinote","email":"thomas.sibut-pinote@inria.fr","login":null,"count":6},{"name":"William Lawvere","email":"mundungus.corleone@gmail.com","login":null,"count":6},{"name":"Arthur Azevedo de Amorim","email":"arthur.aa@gmail.com","login":null,"count":5},{"name":"Attila Gáspár","email":"gsprati99@gmail.com","login":null,"count":5},{"name":"Daniel de Rauglaudre","email":"daniel.de_rauglaudre@inria.fr","login":null,"count":5},{"name":"Guillaume Munch-Maccagnoni","email":"Guillaume.Munch-Maccagnoni@Inria.fr","login":null,"count":5},{"name":"Huang Guan-Shieng","email":"huang@gforge","login":null,"count":5},{"name":"Lucas Donati","email":"lucas.donati@etu.unige.ch","login":null,"count":5},{"name":"Nick Lewycky","email":"nicholas@mxc.ca","login":null,"count":5},{"name":"Quentin Carbonneaux","email":"quentin@c9x.me","login":null,"count":5},{"name":"Oliver Turner","email":"aryaelfren@aryaelfren.eu","login":null,"count":4},{"name":"tomaz1502","email":"tomgm1502@gmail.com","login":null,"count":4},{"name":"Tom Hutchinson","email":"thutchin@gforge","login":null,"count":4},{"name":"Robbert Krebbers","email":"mail@robbertkrebbers.nl","login":null,"count":4},{"name":"Lars Rasmusson","email":"lars.rasmusson@sics.se","login":null,"count":4},{"name":"Jacques-Henri Jourdan","email":"jacques-henri.jourdan@normalesup.org","login":null,"count":4},{"name":"Isaac van Bakel","email":"ivb@vanbakel.io","login":null,"count":4},{"name":"Hendrik Tews","email":"Hendrik.Tews@kernkonzept.com","login":null,"count":4},{"name":"Guillaume Claret","email":"dev@clarus.me","login":null,"count":4},{"name":"Davide Fissore","email":"fisso9900@gmail.com","login":null,"count":4},{"name":"Christian Doczkal","email":"christian.doczkal@inria.fr","login":null,"count":4},{"name":"Beta Ziliani","email":"beta@mpi-sws.org","login":null,"count":4},{"name":"Bernhard Schommer","email":"bernhardschommer@gmail.com","login":null,"count":3},{"name":"Ralf Treinen","email":"treinen@debian.org","login":null,"count":3},{"name":"Robert Rand","email":"rnrand@gmail.com","login":null,"count":3},{"name":"Romain Tetley","email":"romain.tetley@inria.fr","login":null,"count":3},{"name":"Seth Poulsen","email":"poulsenseth@yahoo.com","login":null,"count":3},{"name":"Thomas Letan","email":"thomas.letan@ssi.gouv.fr","login":null,"count":3},{"name":"Théo Winterhalter","email":"isheeft@gmail.com","login":null,"count":3},{"name":"Timothy Bourke","email":"tim@tbrk.org","login":null,"count":3},{"name":"Vadim Zaliva","email":"lord@crocodile.org","login":null,"count":3},{"name":"Virgile Prevosto","email":"virgile.prevosto@m4x.org","login":null,"count":3},{"name":"Yishuai Li","email":"liyishuai.lys@alibaba-inc.com","login":null,"count":3},{"name":"formalize.eth","email":"formalize@protonmail.com","login":null,"count":3},{"name":"Langston Barrett","email":"langston.barrett@gmail.com","login":null,"count":3},{"name":"Lionel Rieg","email":"lionel.rieg@ensiie.fr","login":null,"count":3},{"name":"Matěj Grabovský","email":"mgrabovsky@yahoo.com","login":null,"count":3},{"name":"Pierre Jouvelot","email":"pierre.jouvelot@mines-paristech.fr","login":null,"count":3},{"name":"Pierre-Yves Strub","email":"pierre-yves@strub.nu","login":null,"count":3},{"name":"Jacques-Pascal Deplaix","email":"jp.deplaix@gmail.com","login":null,"count":3},{"name":"Ethan A. Kuefner","email":"ek@conjectu.red","login":null,"count":3},{"name":"Edward Wang","email":"edward.c.wang@compdigitec.com","login":null,"count":3},{"name":"Daniel R. Grayson","email":"dan@math.uiuc.edu","login":null,"count":3},{"name":"Chantal Keller","email":"Chantal.Keller@lri.fr","login":null,"count":3},{"name":"Cezary Kaliszyk","email":"cek@gforge","login":null,"count":3},{"name":"slrnsc","email":"slrnsc-linens@mailinator.com","login":null,"count":3},{"name":"CJ Bell","email":"cj@csail.mit.edu","login":null,"count":2},{"name":"Carl Patenaude-Poulin","email":"carlpaten@protonmail.com","login":null,"count":2},{"name":"Chantal Keller","email":"Chantal.Keller@inria.fr","login":null,"count":2},{"name":"Claude Stolze","email":"Claude.Stolze@eleves.bretagne.ens-cachan.fr","login":null,"count":2},{"name":"Frank Steffahn","email":"fdsteffahn@gmail.com","login":null,"count":2},{"name":"Gan Shen","email":"gan.shen@outlook.com","login":null,"count":2},{"name":"Georges Gonthier","email":"georges.gonthier@inria.fr","login":null,"count":2},{"name":"Jean Abou Samra","email":"jean@abou-samra.fr","login":null,"count":2},{"name":"Julien Puydt","email":"jpuydt@debian.org","login":null,"count":2},{"name":"Michael D. Adams","email":"adamsmd","login":"adamsmd","count":2},{"name":"chluebi","email":"42419603+chluebi","login":"chluebi","count":2},{"name":"Clément Blaudeau","email":"40171892+clementblaudeau","login":"clementblaudeau","count":2},{"name":"Florent Hivert","email":"hivert","login":"hivert","count":2},{"name":"Julin S","email":"48789920+ju-sh","login":"ju-sh","count":2},{"name":"Kartik Singhal","email":"kartiksinghal@gmail.com","login":null,"count":2},{"name":"Kayla Ngan","email":"kangan@microsoft.com","login":null,"count":2},{"name":"Larry Darryl Lee Jr.","email":"llee454@gmail.com","login":null,"count":2},{"name":"Leonidas Lampropoulos","email":"lemonidas_13@hotmail.com","login":null,"count":2},{"name":"Martin Vassor","email":"martin.vassor@epfl.ch","login":null,"count":2},{"name":"Rin Arakaki","email":"koyukukan@gmail.com","login":null,"count":2},{"name":"Rudy Peterson","email":"rnp39@cornell.edu","login":null,"count":2},{"name":"Siegmentation Fault","email":"siegmentationfault@yandex.ru","login":null,"count":2},{"name":"Takafumi Saikawa","email":"tscompor@gmail.com","login":null,"count":2},{"name":"Valentin Robert","email":"valentin.robert.42@gmail.com","login":null,"count":2},{"name":"Yannick Forster","email":"forster@ps.uni-saarland.de","login":null,"count":2},{"name":"Yannick Forster","email":"yannick.forster@inria.fr","login":null,"count":2},{"name":"Bart Jacobs","email":"bart.jacobs@cs.kuleuven.be","login":null,"count":2},{"name":"Björn Brandenburg","email":"bbb@mpi-sws.org","login":null,"count":2},{"name":"drenched-moth","email":"85354652+drenched-moth","login":"drenched-moth","count":2},{"name":"Aleksandar Nanevski","email":"aleks.nanevski@imdea.org","login":null,"count":1},{"name":"Alban Gruin","email":"alban@pa1ch.fr","login":null,"count":1},{"name":"Adrian Dapprich","email":"adrian@dapprich.dev","login":null,"count":1},{"name":"Stefan Radziuk","email":"stefan.radziuk19@imperial.ac.uk","login":null,"count":1},{"name":"Léo Andrès","email":"leo@ndrs.fr","login":null,"count":1},{"name":"Lukasz Czajka","email":"lukaszcz@mimuw.edu.pl","login":null,"count":1},{"name":"Lennart Jablonka","email":"humm@ljabl.com","login":null,"count":1},{"name":"Khalid Abdullah","email":"khalidcomilla58@gmail.com","login":null,"count":1},{"name":"Kate","email":"kit-ty-kate@outlook.com","login":null,"count":1},{"name":"Karolina Surma","email":"ksurma@redhat.com","login":null,"count":1},{"name":"Karolin Varner","email":"karo@cupdev.net","login":null,"count":1},{"name":"Kamil Trzciński","email":"ayufan@ayufan.eu","login":null,"count":1},{"name":"Julien Puydt","email":"julien.puydt@gmail.com","login":null,"count":1},{"name":"Julien Coolen","email":"jtcoolen@pm.me","login":null,"count":1},{"name":"Juan Conejero","email":"juanconrod@protonmail.com","login":null,"count":1},{"name":"Alexandre Miquel","email":"miquel@gforge","login":null,"count":1},{"name":"Alexandre Moine","email":"alexandre@moine.me","login":null,"count":1},{"name":"Alexey Trilis","email":"aatrilis2000@gmail.com","login":null,"count":1},{"name":"Anders Kaseorg","email":"andersk@mit.edu","login":null,"count":1},{"name":"Andreas Florath","email":"andreas@florath.net","login":null,"count":1},{"name":"Andres Erbsen","email":"andres@andres.systems","login":null,"count":1},{"name":"Andres Erbsen","email":"github@andres.systems","login":null,"count":1},{"name":"Avi Shinnar","email":"shinnar@us.ibm.com","login":null,"count":1},{"name":"Benjamin Barenblat","email":"bbaren@google.com","login":null,"count":1},{"name":"Benjamin Pierce","email":"bcpierce00@gmail.com","login":null,"count":1},{"name":"Benny Smit","email":"benedict.smit@udo.edu","login":null,"count":1},{"name":"Bernhard M. Wiedemann","email":"bwiedemann@suse.de","login":null,"count":1},{"name":"Bodo Igler","email":"bodo.igler@hs-rm.de","login":null,"count":1},{"name":"František Farka","email":"frantisek@bedrocksystems.com","login":null,"count":1},{"name":"Pierre Rousselin","email":"119015057+Villetaneuse","login":"Villetaneuse","count":1},{"name":"Samuel Lelièvre","email":"slel","login":"slel","count":1},{"name":"Naveen Srinivasan","email":"172697+naveensrinivasan","login":"naveensrinivasan","count":1},{"name":"Meven Lennon-Bertrand","email":"58942857+MevenBertrand","login":"MevenBertrand","count":1},{"name":"İsmail Dönmez","email":"ismail-s","login":"ismail-s","count":1},{"name":"spanjel","email":"spanjel","login":"spanjel","count":1},{"name":"soraros","email":"soraros","login":"soraros","count":1},{"name":"Timur Aminev","email":"77538776+ablearthy","login":"ablearthy","count":1},{"name":"CharlesCNorton","email":"135471798+CharlesCNorton","login":"CharlesCNorton","count":1},{"name":"Alex","email":"93376818+sashashura","login":"sashashura","count":1},{"name":"Marcello Seri","email":"mseri","login":"mseri","count":1},{"name":"Lasse Blaauwbroek","email":"LasseBlaauwbroek","login":"LasseBlaauwbroek","count":1},{"name":"Frederic Peschanski","email":"frederic.peschanski@lip6.fr","login":null,"count":1},{"name":"Frédéric Chapoton","email":"fchapoton2@gmail.com","login":null,"count":1},{"name":"George Stelle","email":"stelleg@lanl.gov","login":null,"count":1},{"name":"Grant Jurgensen","email":"gajurgensen@gmail.com","login":null,"count":1},{"name":"Guillaume Allais","email":"guillaume.allais@ens-lyon.org","login":null,"count":1},{"name":"Helge Bahmann","email":"hcb@chaoticmind.net","login":null,"count":1},{"name":"Ike Mulder","email":"ikemulder@hotmail.com","login":null,"count":1},{"name":"Isaac Oscar Gariano","email":"IsaacOscar@live.com.au","login":null,"count":1},{"name":"James Lottes","email":"jlottes@gmail.com","login":null,"count":1},{"name":"James R. Wilcox","email":"jrw12@cs.washington.edu","login":null,"count":1},{"name":"Jean-Christophe Léchenet","email":"eponier@via.ecp.fr","login":null,"count":1},{"name":"Jerry James","email":"loganjerry@gmail.com","login":null,"count":1},{"name":"Jim Apple","email":"github.public@jbapple.com","login":null,"count":1},{"name":"Jim Portegies","email":"j.w.portegies@tue.nl","login":null,"count":1},{"name":"Jose Fernando Lopez Fernandez","email":"jflopezfernandez@gmail.com","login":null,"count":1},{"name":"nicolas tabareau","email":"nicolas.tabareau@gmail.com","login":null,"count":1},{"name":"scinart","email":"akubeej@gmail.com","login":null,"count":1},{"name":"slb Prime","email":"shenlebantongying@gmail.com","login":null,"count":1},{"name":"stop-cran","email":"stop-cran@list.ru","login":null,"count":1},{"name":"wkwkes","email":"wkwkes@gmail.com","login":null,"count":1},{"name":"yudetamago","email":"yudetamago.orz@gmail.com","login":null,"count":1},{"name":"MathisBD","email":"mathis.bouverot@ens.psl.eu","login":null,"count":1},{"name":"Matt Quinn","email":"matt@mattjquinn.com","login":null,"count":1},{"name":"Matthew Dempsky","email":"matthew@dempsky.org","login":null,"count":1},{"name":"Matthieu Baty","email":"matthieu.baty@epfl.ch","login":null,"count":1},{"name":"Michael Soegtrop","email":"m@aerobiont.de","login":null,"count":1},{"name":"Michele Caci","email":"michele.caci@gmail.com","login":null,"count":1},{"name":"Minki Cho","email":"minki.cho@sf.snu.ac.kr","login":null,"count":1},{"name":"Mirai IKEBUCHI","email":"mir.ikbch+github@gmail.com","login":null,"count":1},{"name":"Nikita Eshkeev","email":"kastolom@gmail.com","login":null,"count":1},{"name":"Nikolaos Chatzikonstantinou","email":"nchatz314@gmail.com","login":null,"count":1},{"name":"Olivier Marty","email":"olivier@oliviermarty.net","login":null,"count":1},{"name":"Perry E. Metzger","email":"perry@piermont.com","login":null,"count":1},{"name":"Peter LeFanu Lumsdaine","email":"p.l.lumsdaine@gmail.com","login":null,"count":1},{"name":"Stefan Haan","email":"stefan@kikeriki.at","login":null,"count":1},{"name":"Sotaro Okada","email":"soukouki0@yahoo.co.jp","login":null,"count":1},{"name":"Simon Marechal","email":"bartavelle@banquise.net","login":null,"count":1},{"name":"Simon Gregersen","email":"gregersen@cs.au.dk","login":null,"count":1},{"name":"Simon Friis Vindum","email":"simonfv@gmail.com","login":null,"count":1},{"name":"Sigurd Schneider","email":"sigurd.schneider@cs.uni-saarland.de","login":null,"count":1},{"name":"Shengyi Wang","email":"txyyss@gmail.com","login":null,"count":1},{"name":"Shachar Itzhaky","email":"corwin.amber@gmail.com","login":null,"count":1},{"name":"Sergei Stepanenko","email":"kaptch@gmail.com","login":null,"count":1},{"name":"Ryan Scott","email":"ryan.gl.scott@gmail.com","login":null,"count":1},{"name":"Rodolphe Lepigre","email":"rodolphe@bluerock.io","login":null,"count":1},{"name":"Ricky Elrod","email":"ricky@elrod.me","login":null,"count":1},{"name":"Catalin Hritcu","email":"catalin.hritcu@gmail.com","login":null,"count":1},{"name":"Dabrowski","email":"frederic.dabrowski@univ-orleans.fr","login":null,"count":1},{"name":"Damien Doligez","email":"doligez@gforge","login":null,"count":1},{"name":"Daneel Yaitskov","email":"dyaitskov@gmail.com","login":null,"count":1},{"name":"David A. Dalrymple","email":"davidad@alum.mit.edu","login":null,"count":1},{"name":"David M. Cooke","email":"david.m.cooke@gmail.com","login":null,"count":1},{"name":"David Swasey","email":"david@bedrocksystems.com","login":null,"count":1},{"name":"Dmitry Shachnev","email":"mitya57@gmail.com","login":null,"count":1},{"name":"Erika","email":"rrika9@yahoo.com","login":null,"count":1},{"name":"Fabian","email":"bafain@gmail.com","login":null,"count":1},{"name":"Farzon Lotfi","email":"farzonl@gmail.com","login":null,"count":1},{"name":"Florent Hivert","email":"Florent.Hivert@lri.fr","login":null,"count":1},{"name":"Stephan Boyer","email":"stephan@stephanboyer.com","login":null,"count":1},{"name":"Sudha Parimala","email":"sudharg247@gmail.com","login":null,"count":1},{"name":"Sven M. Hallberg","email":"pesco@khjk.org","login":null,"count":1},{"name":"Tan Yee Jian","email":"tanyeejian@gmail.com","login":null,"count":1},{"name":"Thierry Martinez","email":"Thierry.Martinez@inria.fr","login":null,"count":1},{"name":"Thomas Hebb","email":"tommyhebb@gmail.com","login":null,"count":1},{"name":"Thomas Klausner","email":"wiz@gatalith.at","login":null,"count":1},{"name":"Thomas Refis","email":"thomas.refis@gmail.com","login":null,"count":1},{"name":"Tony Beta Lambda","email":"tonybetalambda@gmail.com","login":null,"count":1},{"name":"Wang Zhuyang","email":"hawnzug@gmail.com","login":null,"count":1},{"name":"Weng Shiwei 翁士伟","email":"arbipher@gmail.com","login":null,"count":1},{"name":"Wojciech Nawrocki","email":"wjnawrocki@protonmail.com","login":null,"count":1},{"name":"YOSHIHIRO Imai","email":"yoshihiro503@proofcafe.org","login":null,"count":1},{"name":"Yannick Forster","email":"yannick@yforster.de","login":null,"count":1},{"name":"Yao Li","email":"hnkfliyao@gmail.com","login":null,"count":1},{"name":"Yusuke Matsushita","email":"y.skm24t@gmail.com","login":null,"count":1},{"name":"doctor-kaliy","email":"284661@niuitmo.ru","login":null,"count":1},{"name":"felixL-K","email":"felix.loyau-kahn@etu.u-paris.fr","login":null,"count":1},{"name":"lduboisd","email":"louise.dubois-de-prisque@inria.fr","login":null,"count":1},{"name":"Remyjck","email":"remy.seassau@gmail.com","login":null,"count":1}],"total_commits":36485,"total_committers":321,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":113.66043613707166,"dds":0.7610250787995066,"past_year_committers":[{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":621},{"name":"Hugo Herbelin","email":"Hugo.Herbelin@inria.fr","login":null,"count":334},{"name":"Pierre-Marie Pédrot","email":"pierre-marie.pedrot@inria.fr","login":null,"count":300},{"name":"Pierre Roux","email":"pierre@roux01.fr","login":null,"count":191},{"name":"Pierre Rousselin","email":"rousselin@math.univ-paris13.fr","login":null,"count":51},{"name":"Yann Leray","email":"yann.leray@inria.fr","login":null,"count":46},{"name":"Emilio Jesús Gallego Arias","email":"e@x80.org","login":null,"count":42},{"name":"Sylvain Chiron","email":"chironsylvain@orange.fr","login":null,"count":32},{"name":"Enrico Tassi","email":"Enrico.Tassi@inria.fr","login":null,"count":31},{"name":"Rodolphe Lepigre","email":"rodolphe@bedrocksystems.com","login":null,"count":22},{"name":"Andres Erbsen","email":"andres-github@andres.systems","login":null,"count":20},{"name":"Jan-Oliver Kaiser","email":"janno@mpi-sws.org","login":null,"count":19},{"name":"Jim Fehrle","email":"jim.fehrle@gmail.com","login":null,"count":16},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":16},{"name":"Guillaume Melquiond","email":"guillaume.melquiond@inria.fr","login":null,"count":13},{"name":"Quentin Vermande","email":"quentin.vermande@orange.fr","login":null,"count":13},{"name":"Rodolphe Lepigre","email":"lepigre@mpi-sws.org","login":null,"count":11},{"name":"Anton Danilkin","email":"afdw@yandex.ru","login":null,"count":9},{"name":"Mario Frank","email":"mario.frank@uni-potsdam.de","login":null,"count":8},{"name":"Théo Zimmermann","email":"theo.zimmermann@telecom-paris.fr","login":null,"count":7},{"name":"Lucas Donati","email":"lucas.donati@etu.unige.ch","login":null,"count":5},{"name":"Matthieu Sozeau","email":"mattam@mattam.org","login":null,"count":5},{"name":"Andrej Dudenhefner","email":"mrhaandi@gmail.com","login":null,"count":4},{"name":"Davide Fissore","email":"fisso9900@gmail.com","login":null,"count":4},{"name":"tomaz1502","email":"tomgm1502@gmail.com","login":null,"count":4},{"name":"Oliver Turner","email":"aryaelfren@aryaelfren.eu","login":null,"count":4},{"name":"Tanaka Akira","email":"akr@fsij.org","login":null,"count":3},{"name":"Romain Tetley","email":"romain.tetley@inria.fr","login":null,"count":3},{"name":"Andres Erbsen","email":"andreser@mit.edu","login":null,"count":3},{"name":"Bernhard Schommer","email":"bernhardschommer@gmail.com","login":null,"count":2},{"name":"Björn Brandenburg","email":"bbb@mpi-sws.org","login":null,"count":2},{"name":"drenched-moth","email":"85354652+drenched-moth","login":"drenched-moth","count":2},{"name":"chluebi","email":"42419603+chluebi","login":"chluebi","count":2},{"name":"Erik Martin-Dorel","email":"erik.martin-dorel@irit.fr","login":null,"count":2},{"name":"Jean Abou Samra","email":"jean@abou-samra.fr","login":null,"count":2},{"name":"Li-yao Xia","email":"lysxia@gmail.com","login":null,"count":2},{"name":"Michael Soegtrop","email":"michael.soegtrop@intel.com","login":null,"count":2},{"name":"Ralf Jung","email":"post@ralfj.de","login":null,"count":2},{"name":"Siegmentation Fault","email":"siegmentationfault@yandex.ru","login":null,"count":2},{"name":"Gabriel Scherer","email":"gabriel.scherer@gmail.com","login":null,"count":1},{"name":"Frédéric Besson","email":"frederic.besson@inria.fr","login":null,"count":1},{"name":"Florent Hivert","email":"Florent.Hivert@lri.fr","login":null,"count":1},{"name":"David M. Cooke","email":"david.m.cooke@gmail.com","login":null,"count":1},{"name":"Daneel Yaitskov","email":"dyaitskov@gmail.com","login":null,"count":1},{"name":"Benny Smit","email":"benedict.smit@udo.edu","login":null,"count":1},{"name":"Andres Erbsen","email":"github@andres.systems","login":null,"count":1},{"name":"Andres Erbsen","email":"andres@andres.systems","login":null,"count":1},{"name":"Andreas Florath","email":"andreas@florath.net","login":null,"count":1},{"name":"CharlesCNorton","email":"135471798+CharlesCNorton","login":"CharlesCNorton","count":1},{"name":"Timur Aminev","email":"77538776+ablearthy","login":"ablearthy","count":1},{"name":"Pierre Rousselin","email":"119015057+Villetaneuse","login":"Villetaneuse","count":1},{"name":"Marcello Seri","email":"mseri","login":"mseri","count":1},{"name":"Alexey Trilis","email":"aatrilis2000@gmail.com","login":null,"count":1},{"name":"Aleksandar Nanevski","email":"aleks.nanevski@imdea.org","login":null,"count":1},{"name":"Julien Puydt","email":"julien.puydt@gmail.com","login":null,"count":1},{"name":"Lasse Blaauwbroek","email":"lasse@blaauwbroek.eu","login":null,"count":1},{"name":"Laurent Théry","email":"laurent.thery@inria.fr","login":null,"count":1},{"name":"nicolas tabareau","email":"nicolas.tabareau@gmail.com","login":null,"count":1},{"name":"lduboisd","email":"louise.dubois-de-prisque@inria.fr","login":null,"count":1},{"name":"felixL-K","email":"felix.loyau-kahn@etu.u-paris.fr","login":null,"count":1},{"name":"doctor-kaliy","email":"284661@niuitmo.ru","login":null,"count":1},{"name":"Yannick Forster","email":"yannick.forster@inria.fr","login":null,"count":1},{"name":"Tan Yee Jian","email":"tanyeejian@gmail.com","login":null,"count":1},{"name":"Stefan Haan","email":"stefan.haan@aau.at","login":null,"count":1},{"name":"Rodolphe Lepigre","email":"rodolphe@bluerock.io","login":null,"count":1},{"name":"Remyjck","email":"remy.seassau@gmail.com","login":null,"count":1},{"name":"Ramkumar Ramachandra","email":"r@artagnon.com","login":null,"count":1},{"name":"MathisBD","email":"mathis.bouverot@ens.psl.eu","login":null,"count":1},{"name":"Lennart Jablonka","email":"humm@ljabl.com","login":null,"count":1}],"past_year_total_commits":1887,"past_year_total_committers":69,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":27.347826086956523,"past_year_dds":0.6709062003179651,"last_synced_at":"2024-12-11T12:28:41.372Z","last_synced_commit":"cb28c9daf3f4edbc267dc9d29740d75486e954b6","created_at":"2024-11-26T08:43:17.812Z","updated_at":"2024-12-11T12:28:41.374Z","commits_url":"https://commits.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq/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.data.code.gouv.fr/api/v1/hosts/GitHub","repositories_url":"https://commits.data.code.gouv.fr/api/v1/hosts/GitHub/repositories"}}