{"full_name":"coq/coq-on-cachix","default_branch":"master","committers":[{"name":"Hugo Herbelin","email":"Hugo.Herbelin@inria.fr","login":null,"count":7980},{"name":"Pierre-Marie Pédrot","email":"pierre-marie.pedrot@inria.fr","login":null,"count":3419},{"name":"Pierre Letouzey","email":"pierre.letouzey@inria.fr","login":null,"count":2002},{"name":"Matthieu Sozeau","email":"mattam@mattam.org","login":null,"count":1759},{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":1366},{"name":"Emilio Jesús Gallego Arias","email":"e@x80.org","login":null,"count":1347},{"name":"Jean-Christophe Filliâtre","email":"Jean-Christophe.Filliatre@lri.fr","login":null,"count":1202},{"name":"Enrico Tassi","email":"Enrico.Tassi@inria.fr","login":null,"count":1174},{"name":"Théo Zimmermann","email":"theo.zimmermann@inria.fr","login":null,"count":1030},{"name":"Maxime Dénès","email":"mail@maximedenes.fr","login":null,"count":911},{"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":502},{"name":"Bruno Barras","email":"bruno.barras@inria.fr","login":null,"count":473},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":453},{"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":"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":227},{"name":"Claudio Sacerdoti Coen","email":"sacerdot@gforge","login":null,"count":202},{"name":"Christine Paulin","email":"cpaulin@gforge","login":null,"count":199},{"name":"Jim Fehrle","email":"jfehrle@sbcglobal.net","login":null,"count":195},{"name":"Jasper Hugunin","email":"jasper@hugunin.net","login":null,"count":188},{"name":"Olivier Desmettre","email":"desmettr@gforge","login":null,"count":181},{"name":"Pierre Roux","email":"pierre@roux01.fr","login":null,"count":166},{"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":"Matthias Puech","email":"puech@gforge","login":null,"count":91},{"name":"Clément Pit-Claudel","email":"clement.pitclaudel@live.com","login":null,"count":88},{"name":"Frédéric Besson","email":"frederic.besson@inria.fr","login":null,"count":85},{"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":"Vincent Gross","email":"vgross@gforge","login":null,"count":68},{"name":"Paul Steckler","email":"steck@stecksoft.com","login":null,"count":67},{"name":"Erik Martin-Dorel","email":"erik.martin-dorel@irit.fr","login":null,"count":67},{"name":"Michael Soegtrop","email":"michael.soegtrop@intel.com","login":null,"count":62},{"name":"Xavier Clerc","email":"xavier.clerc@inria.fr","login":null,"count":60},{"name":"Judicaël Courant","email":"courant@gforge","login":null,"count":57},{"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":"Olivier Laurent","email":"olivier.laurent@ens-lyon.fr","login":null,"count":52},{"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":"Tanaka Akira","email":"akr@fsij.org","login":null,"count":44},{"name":"Laurent Théry","email":"laurent.thery@inria.fr","login":null,"count":40},{"name":"Benjamin Grégoire","email":"benjamin.gregoire@inria.fr","login":null,"count":37},{"name":"Ali Caglayan","email":"alizter@gmail.com","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":"Ralf Jung","email":"post@ralfj.de","login":null,"count":34},{"name":"Simon Boulier","email":"simon.boulier@ens-rennes.fr","login":null,"count":32},{"name":"Vincent Semeria","email":"vincent.semeria@gmail.com","login":null,"count":32},{"name":"Vincent Siles","email":"vsiles@gforge","login":null,"count":31},{"name":"Kazuhiko Sakaguchi","email":"pi8027@gmail.com","login":null,"count":30},{"name":"Yishuai Li","email":"yishuai@cis.upenn.edu","login":null,"count":26},{"name":"Arthur Charguéraud","email":"arthur@chargueraud.org","login":null,"count":25},{"name":"Lasse Blaauwbroek","email":"lasse@blaauwbroek.eu","login":null,"count":24},{"name":"Florent Kirchner","email":"fkirchne@gforge","login":null,"count":23},{"name":"Zeimer","email":"zzaimer@gmail.com","login":null,"count":22},{"name":"Loïc Pottier","email":"pottier@gforge","login":null,"count":20},{"name":"Nickolai Zeldovich","email":"nickolai@csail.mit.edu","login":null,"count":19},{"name":"Russell O'Connor","email":"roconnor@blockstream.io","login":null,"count":19},{"name":"Gregory Malecha","email":"gmalecha@eecs.harvard.edu","login":null,"count":18},{"name":"Li-yao Xia","email":"lysxia@gmail.com","login":null,"count":18},{"name":"Samuel Gruetter","email":"samuel.gruetter@epfl.ch","login":null,"count":15},{"name":"Assia Mahboubi","email":"assia.mahboubi@inria.fr","login":null,"count":14},{"name":"Matthew Ryan","email":"mr_1993@hotmail.co.uk","login":null,"count":14},{"name":"Gabriel Scherer","email":"gabriel.scherer@gmail.com","login":null,"count":13},{"name":"Kenji Maillard","email":"kenji.maillard@inria.fr","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":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","login":null,"count":11},{"name":"Cyril Cohen","email":"cyril.cohen@crans.org","login":null,"count":10},{"name":"Columbus240","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":"Anton Trunov","email":"anton.a.trunov@gmail.com","login":null,"count":9},{"name":"Andrej Dudenhefner","email":"mrhaandi@gmail.com","login":null,"count":9},{"name":"Abhishek Anand","email":"abhishek.anand.iitg@gmail.com","login":null,"count":8},{"name":"Oliver Nash","email":"oliver.nash@gmail.com","login":null,"count":8},{"name":"Ambroise Lafont","email":"chaster_killer@hotmail.fr","login":null,"count":7},{"name":"Andreas Lynge","email":"andreaslyn@gmail.com","login":null,"count":7},{"name":"Andres Erbsen","email":"andreser@mit.edu","login":null,"count":7},{"name":"Armaël Guéneau","email":"armael.gueneau@ens-lyon.fr","login":null,"count":7},{"name":"Benjamin Werner","email":"werner@gforge","login":null,"count":7},{"name":"Martin Bodin","email":"martin.bodin@ens-lyon.org","login":null,"count":7},{"name":"Sébastien Hinderer","email":"Sebastien.Hinderer@inria.fr","login":null,"count":7},{"name":"Talia Ringer","email":"tringer@cs.washington.edu","login":null,"count":7},{"name":"Xavier Leroy","email":"xavier.leroy@college-de-france.fr","login":null,"count":7},{"name":"Alec Faithfull","email":"alef@itu.dk","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":"Ana Borges","email":"ana.agvb@gmail.com","login":null,"count":5},{"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":"Fabian Kunze","email":"fkunze@fkunze.de","login":null,"count":5},{"name":"Huang Guan-Shieng","email":"huang@gforge","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":"Reynald Affeldt","email":"reynald.affeldt@aist.go.jp","login":null,"count":5},{"name":"Tom Hutchinson","email":"thutchin@gforge","login":null,"count":4},{"name":"Lars Rasmusson","email":"lars.rasmusson@sics.se","login":null,"count":4},{"name":"Jan-Oliver Kaiser","email":"janno@mpi-sws.org","login":null,"count":4},{"name":"Jacques-Henri Jourdan","email":"jacques-henri.jourdan@normalesup.org","login":null,"count":4},{"name":"Hendrik Tews","email":"Hendrik.Tews@kernkonzept.com","login":null,"count":4},{"name":"Guillaume Munch-Maccagnoni","email":"Guillaume.Munch-Maccagnoni@Inria.fr","login":null,"count":4},{"name":"Guillaume Claret","email":"dev@clarus.me","login":null,"count":4},{"name":"Beta Ziliani","email":"beta@mpi-sws.org","login":null,"count":4},{"name":"Cezary Kaliszyk","email":"cek@gforge","login":null,"count":3},{"name":"Daniel R. Grayson","email":"dan@math.uiuc.edu","login":null,"count":3},{"name":"Edward Wang","email":"edward.c.wang@compdigitec.com","login":null,"count":3},{"name":"Jacques-Pascal Deplaix","email":"jp.deplaix@gmail.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-Yves Strub","email":"pierre-yves@strub.nu","login":null,"count":3},{"name":"Ralf Treinen","email":"treinen@debian.org","login":null,"count":3},{"name":"slrnsc","email":"slrnsc-linens@mailinator.com","login":null,"count":3},{"name":"formalize.eth","email":"formalize@protonmail.com","login":null,"count":3},{"name":"Virgile Prevosto","email":"virgile.prevosto@m4x.org","login":null,"count":3},{"name":"Vadim Zaliva","email":"lord@crocodile.org","login":null,"count":3},{"name":"Timothy Bourke","email":"tim@tbrk.org","login":null,"count":3},{"name":"Théo Winterhalter","email":"isheeft@gmail.com","login":null,"count":3},{"name":"Thomas Letan","email":"thomas.letan@ssi.gouv.fr","login":null,"count":3},{"name":"Seth Poulsen","email":"poulsenseth@yahoo.com","login":null,"count":3},{"name":"Robert Rand","email":"rnrand@gmail.com","login":null,"count":3},{"name":"Robbert Krebbers","email":"mail@robbertkrebbers.nl","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":"Christian Doczkal","email":"christian.doczkal@ens-lyon.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":"Yannick Forster","email":"forster@ps.uni-saarland.de","login":null,"count":2},{"name":"Michael D. Adams","email":"adamsmd","login":"adamsmd","count":2},{"name":"Clément Blaudeau","email":"40171892+clementblaudeau","login":"clementblaudeau","count":2},{"name":"Georges Gonthier","email":"georges.gonthier@inria.fr","login":null,"count":2},{"name":"Karl Palmskog","email":"palmskog@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":"Takafumi Saikawa","email":"tscompor@gmail.com","login":null,"count":2},{"name":"Wolf Honore","email":"wolfhonore@gmail.com","login":null,"count":2},{"name":"Armael","email":"armael@isomorphis.me","login":null,"count":2},{"name":"Florent Hivert","email":"hivert","login":"hivert","count":2},{"name":"Karolin Varner","email":"karo@cupdev.net","login":null,"count":1},{"name":"Kartik Singhal","email":"ks@cs.uchicago.edu","login":null,"count":1},{"name":"Lukasz Czajka","email":"lukaszcz@mimuw.edu.pl","login":null,"count":1},{"name":"Léo Andrès","email":"leo@ndrs.fr","login":null,"count":1},{"name":"Stefan Haan","email":"stefan@kikeriki.at","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":"Anders Kaseorg","email":"andersk@mit.edu","login":null,"count":1},{"name":"Avi Shinnar","email":"shinnar@us.ibm.com","login":null,"count":1},{"name":"Bart Jacobs","email":"bart.jacobs@cs.kuleuven.be","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":"Bernhard M. Wiedemann","email":"bwiedemann@suse.de","login":null,"count":1},{"name":"Bernhard Schommer","email":"bernhardschommer@gmail.com","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":"George Stelle","email":"stelleg@lanl.gov","login":null,"count":1},{"name":"Samuel Lelièvre","email":"slel","login":"slel","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":"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":"Jim Apple","email":"github.public@jbapple.com","login":null,"count":1},{"name":"Jose Fernando Lopez Fernandez","email":"jflopezfernandez@gmail.com","login":null,"count":1},{"name":"Juan C","email":"juanconrod@protonmail.com","login":null,"count":1},{"name":"Julien Coolen","email":"jtcoolen@pm.me","login":null,"count":1},{"name":"Kamil Trzciński","email":"ayufan@ayufan.eu","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":"Matt Quinn","email":"matt@mattjquinn.com","login":null,"count":1},{"name":"Matthew Dempsky","email":"matthew@dempsky.org","login":null,"count":1},{"name":"Michele Caci","email":"michele.caci@gmail.com","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":"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":"Ramkumar Ramachandra","email":"artagnon@gmail.com","login":null,"count":1},{"name":"Ricky Elrod","email":"ricky@elrod.me","login":null,"count":1},{"name":"Rudy Peterson","email":"rnp39@cornell.edu","login":null,"count":1},{"name":"Ryan Scott","email":"ryan.gl.scott@gmail.com","login":null,"count":1},{"name":"Shachar Itzhaky","email":"corwin.amber@gmail.com","login":null,"count":1},{"name":"Sigurd Schneider","email":"sigurd.schneider@cs.uni-saarland.de","login":null,"count":1},{"name":"Simon Friis Vindum","email":"simonfv@gmail.com","login":null,"count":1},{"name":"Simon Gregersen","email":"gregersen@cs.au.dk","login":null,"count":1},{"name":"David A. Dalrymple","email":"davidad@alum.mit.edu","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":"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":"Sven M. Hallberg","email":"pesco@khjk.org","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 Refis","email":"thomas.refis@gmail.com","login":null,"count":1},{"name":"Tony Beta Lambda","email":"tonybetalambda@gmail.com","login":null,"count":1},{"name":"Valentin Robert","email":"valentin.robert.42@gmail.com","login":null,"count":1},{"name":"Wang Zhuyang","email":"hawnzug@gmail.com","login":null,"count":1},{"name":"Wojciech Nawrocki","email":"wjnawrocki@protonmail.com","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":"scinart","email":"akubeej@gmail.com","login":null,"count":1},{"name":"slb Prime","email":"shenlebantongying@gmail.com","login":null,"count":1},{"name":"Simon Marechal","email":"bartavelle@banquise.net","login":null,"count":1}],"total_commits":30807,"total_committers":236,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":130.53813559322035,"dds":0.7409679618268575,"past_year_committers":[],"past_year_total_commits":0,"past_year_total_committers":0,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":0.0,"past_year_dds":0.0,"last_synced_at":"2024-12-20T16:48:53.606Z","last_synced_commit":"1fa612a63591806300c106d2eace72e91b6791fe","created_at":"2024-12-02T20:06:00.517Z","updated_at":"2024-12-20T16:48:53.608Z","commits_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq-on-cachix/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"}}