{"id":10666501,"full_name":"certora/documentation","default_branch":"master","total_commits":1534,"total_committers":54,"total_bot_commits":4,"total_bot_committers":1,"mean_commits":28.40740740740741,"dds":0.6153846153846154,"past_year_total_commits":233,"past_year_total_committers":24,"past_year_total_bot_commits":4,"past_year_total_bot_committers":1,"past_year_mean_commits":9.708333333333334,"past_year_dds":0.7682403433476395,"last_synced_at":"2025-07-29T04:16:02.778Z","last_synced_commit":"c89f2e67ed66373442e73552a7e95879eb3faf97","created_at":"2025-07-29T04:09:59.760Z","updated_at":"2025-07-29T04:17:48.803Z","committers":[{"name":"Michael George","email":"mdgeorge@cs.cornell.edu","login":"mdgeorge4153","count":590},{"name":"rahav","email":"rahav@certora.com","login":"rahav-certora","count":142},{"name":"Chandrakana Nandi","email":"chandra.nandi90@gmail.com","login":"chandrakananandi","count":113},{"name":"urikirsh","email":"38188877+urikirsh","login":"urikirsh","count":105},{"name":"Alexander Nutz","email":"alex@certora.com","login":"alexandernutz","count":103},{"name":"Shelly Grossman","email":"shelly@certora.com","login":"shellygr","count":92},{"name":"Shoham Shamir","email":"shoham@certora.com","login":"shoham-certora","count":54},{"name":"Niv vaknin","email":"122722245+nivcertora","login":"nivcertora","count":35},{"name":"Johannes Späth","email":"johspaeth","login":"johspaeth","count":34},{"name":"sitvanit","email":"sitvanit@certora.com","login":"sitvanit83","count":29},{"name":"Naftali Goldstein","email":"44599898+naftali-g","login":"naftali-g","count":29},{"name":"Oz","email":"oz@certora.com","login":"ozcodes","count":17},{"name":"jar-ben","email":"xbendik@gmail.com","login":"jar-ben","count":15},{"name":"John Toman","email":"jtoman@cs.washington.edu","login":"jtoman","count":14},{"name":"Gereon Kremer","email":"gereon@certora.com","login":"nafur","count":13},{"name":"Ben Kushigian","email":"ben.kushigian@certora.com","login":"BenTheKush","count":11},{"name":"christiane-certora","email":"christiane@certora.com","login":"christiane-certora","count":11},{"name":"Arie Gurfinkel","email":"arie@certora.com","login":"1arie1","count":11},{"name":"EyalHochCertora","email":"91595356+EyalHochCertora","login":"EyalHochCertora","count":11},{"name":"Eytan Singher","email":"“eytan@certora.com”","login":null,"count":8},{"name":"Samwise","email":"samwise@certora.com","login":null,"count":7},{"name":"eytan-cert","email":"140940517+eytan-cert","login":"eytan-cert","count":7},{"name":"Steve Wilson","email":"steve@certora.com","login":"steve-certora","count":6},{"name":"Aleksander Kryukov","email":"firealexkryukov@gmail.com","login":"RedLikeRosesss","count":6},{"name":"Nurit Dor","email":"57101353+nd-certora","login":"nd-certora","count":6},{"name":"Thomas Adams","email":"thomas.harlan.adams@gmail.com","login":"CowardlyBattleCat","count":5},{"name":"Thomas Bernardi","email":"thomas@certora.com","login":"thomasbernardi","count":5},{"name":"pickx","email":"pickyx@protonmail.com","login":"pickx","count":5},{"name":"Abhi Gulati","email":"abhigulati@gmail.com","login":"AbhiGulati","count":5},{"name":"yoav-el-certora","email":"122207807+yoav-el-certora","login":"yoav-el-certora","count":5},{"name":"Sameer Arora","email":"sameer@certora.com","login":"sammy-1234","count":4},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":4},{"name":"teryanarmen","email":"61996358+teryanarmen","login":"teryanarmen","count":4},{"name":"mailalexjoseph","email":"89794226+mailalexjoseph","login":"mailalexjoseph","count":3},{"name":"Gabriel Elizedek","email":"gavriel@certora.com","login":null,"count":2},{"name":"Jochen Hoenicke","email":"jochen@certora.com","login":"jhoenicke","count":2},{"name":"Biced","email":"51883388+Biced","login":"Biced","count":2},{"name":"Melvillian","email":"melvillevt@gmail.com","login":"Melvillian","count":2},{"name":"Francesco Parolini","email":"parolini.francesco.1@gmail.com","login":"phreppo","count":2},{"name":"guydorens","email":"guy@certora.com","login":"guydorens","count":1},{"name":"0xJoyBoy03","email":"60261644+moeid3","login":"moeid3","count":1},{"name":"Jeff Steger","email":"jeffsteger@Jeffs-MacBook-Pro.local","login":null,"count":1},{"name":"Alireza Arjmand","email":"arjmands@ualberta.ca","login":null,"count":1},{"name":"Abi","email":"39586071+abooo96","login":"abooo96","count":1},{"name":"Denis Gorbachev","email":"829578+DenisGorbachev","login":"DenisGorbachev","count":1},{"name":"Dmitry","email":"98899785+mdqst","login":"mdqst","count":1},{"name":"Marcin Kostrzewa","email":"marckostrzewa@gmail.com","login":"kustosz","count":1},{"name":"Shebin John","email":"admin@remedcu.com","login":"remedcu","count":1},{"name":"Sumit Vekariya","email":"sarkazein7@gmail.com","login":"sumitvekariya","count":1},{"name":"eyalfishel","email":"eyalfishel@gmail.com","login":"eyalfishel","count":1},{"name":"gitbook-bot","email":"ghost@gitbook.com","login":"gitbook-bot","count":1},{"name":"lbj137","email":"60526246+lbj137","login":"lbj137","count":1},{"name":"tadeas-kucera","email":"121798878+tadeas-kucera","login":"tadeas-kucera","count":1},{"name":"yoav-rodeh","email":"80630459+yoav-rodeh","login":"yoav-rodeh","count":1}],"past_year_committers":[{"name":"rahav","email":"rahav@certora.com","login":"rahav-certora","count":54},{"name":"urikirsh","email":"38188877+urikirsh","login":"urikirsh","count":45},{"name":"Chandrakana Nandi","email":"chandra.nandi90@gmail.com","login":"chandrakananandi","count":36},{"name":"Johannes Späth","email":"johspaeth","login":"johspaeth","count":23},{"name":"Arie Gurfinkel","email":"arie@certora.com","login":"1arie1","count":11},{"name":"christiane-certora","email":"christiane@certora.com","login":"christiane-certora","count":11},{"name":"Shoham Shamir","email":"shoham@certora.com","login":"shoham-certora","count":10},{"name":"Naftali Goldstein","email":"44599898+naftali-g","login":"naftali-g","count":10},{"name":"Aleksander Kryukov","email":"firealexkryukov@gmail.com","login":"RedLikeRosesss","count":6},{"name":"yoav-el-certora","email":"122207807+yoav-el-certora","login":"yoav-el-certora","count":5},{"name":"John Toman","email":"jtoman@cs.washington.edu","login":"jtoman","count":4},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":4},{"name":"shellygr","email":"shellygr","login":"shellygr","count":2},{"name":"Francesco Parolini","email":"parolini.francesco.1@gmail.com","login":"phreppo","count":2},{"name":"0xJoyBoy03","email":"60261644+moeid3","login":"moeid3","count":1},{"name":"Biced","email":"51883388+Biced","login":"Biced","count":1},{"name":"Dmitry","email":"98899785+mdqst","login":"mdqst","count":1},{"name":"Gereon Kremer","email":"gereon@certora.com","login":"nafur","count":1},{"name":"Niv vaknin","email":"122722245+nivcertora","login":"nivcertora","count":1},{"name":"Shebin John","email":"admin@remedcu.com","login":"remedcu","count":1},{"name":"Sumit Vekariya","email":"sarkazein7@gmail.com","login":"sumitvekariya","count":1},{"name":"alexandernutz","email":"14171425+alexandernutz","login":"alexandernutz","count":1},{"name":"jar-ben","email":"xbendik@gmail.com","login":"jar-ben","count":1},{"name":"pickx","email":"pickyx@protonmail.com","login":"pickx","count":1}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/certora%2Fdocumentation/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-09-04T00:00:08.108Z","repositories_count":7037312,"commits_count":1021413208,"contributors_count":44052780,"owners_count":1404759,"committers_count":3428492,"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"}}