{"id":313494,"full_name":"tlaplus/Examples","default_branch":"master","total_commits":533,"total_committers":53,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":10.056603773584905,"dds":0.4727954971857411,"past_year_total_commits":90,"past_year_total_committers":7,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":12.857142857142858,"past_year_dds":0.16666666666666663,"last_synced_at":"2026-09-11T20:10:39.340Z","last_synced_commit":"ceeaa904140e3e03781cb2a79cd6c6d8b8b08e10","created_at":"2023-03-08T16:54:10.950Z","updated_at":"2026-09-11T20:10:39.065Z","committers":[{"name":"Markus Alexander Kuppe","email":"github.com@lemmster.de","login":"lemmy","count":281},{"name":"Andrew Helwer","email":"2n8rn1w1f@mozmail.com","login":"ahelwer","count":106},{"name":"merz","email":"stephan.merz@loria.fr","login":"muenchnerkindl","count":43},{"name":"Thanh Hai Tran","email":"thanhhai1302@gmail.com","login":"thanh-hai-tran","count":13},{"name":"Giuliano Losa","email":"giuliano@losa.fr","login":"nano-o","count":7},{"name":"Martin","email":"marty@logic.at","login":"quicquid","count":5},{"name":"Martin","email":"reamstack@gmail.com","login":"reamstack","count":4},{"name":"Mariusz Ryndzionek","email":"mryndzionek@gmail.com","login":"mryndzionek","count":4},{"name":"stary","email":"staryii@qq.com","login":"Starydark","count":4},{"name":"lamport","email":"lamport@find.on.the.web.com","login":null,"count":4},{"name":"Leslie Lamport","email":"lamport@find.on.the.web","login":null,"count":3},{"name":"HappyCS-Gu","email":"15150503283@163.com","login":"HappyCS-Gu","count":3},{"name":"Vasilis nasopoulos","email":"vasilis_nasopoulos@hotmail.com","login":"vasilisnasopoulos","count":3},{"name":"Konstantin Läufer","email":"laufer@cs.luc.edu","login":"klaeufer","count":3},{"name":"Andrei Tonkikh","email":"andrei.tonkikh@gmail.com","login":"xosmig","count":3},{"name":"Murat Demirbas","email":"mudemirb@amazon.com","login":null,"count":2},{"name":"xxyzzn","email":"xxyzzn","login":"xxyzzn","count":2},{"name":"Nicholas Schultz-Møller","email":"nicholassm@gmail.com","login":"nicholassm","count":2},{"name":"Josef Widder","email":"44643235+josef-widder","login":"josef-widder","count":2},{"name":"Florian Schanda","email":"fschanda@nvidia.com","login":"florianschanda","count":2},{"name":"Alexander Niederbühl","email":"a.niederbuehl@gmail.com","login":"Alexander-N","count":2},{"name":"Murat Demirbas","email":"muratdem","login":"muratdem","count":2},{"name":"Igor Konnov","email":"igor.konnov@gmail.com","login":"konnov","count":2},{"name":"Isaac-DeFrain","email":"isaacdefrain@gmail.com","login":"Isaac-DeFrain","count":2},{"name":"Ron Pressler","email":"pron","login":"pron","count":1},{"name":"Sergey Bronnikov","email":"estetus@gmail.com","login":"ligurio","count":1},{"name":"Tim Soethout","email":"github@timmybankers.nl","login":"TimSoethout","count":1},{"name":"Yuqi Zhang","email":"cs_yqzhang@qq.com","login":"elem-azar-unis","count":1},{"name":"cjen1","email":"cjj39@cam.ac.uk","login":"Cjen1","count":1},{"name":"loki der quaeler","email":"loki@theori.st","login":"quaeler","count":1},{"name":"Younes","email":"dev@younes.io","login":null,"count":1},{"name":"Vasily Kuznetsov","email":"vasily.kuznetsov@travelline.ru","login":null,"count":1},{"name":"TypeDefinition","email":"lnxterry@gmail.com","login":null,"count":1},{"name":"Martin Langhaus","email":"martin@eglanghaus.net","login":null,"count":1},{"name":"Markus Kuppe","email":"mkuppe@mkuppe01.nvidia.com","login":null,"count":1},{"name":"Leslie Lamport","email":"find.somewhere.on@the.web","login":null,"count":1},{"name":"melhindi","email":"melhindi","login":"melhindi","count":1},{"name":"neoschizomer","email":"62703158+neoschizomer","login":"neoschizomer","count":1},{"name":"postmasters","email":"namnguyen@google.com","login":"postmasters","count":1},{"name":"Novemser","email":"2072806652@qq.com","login":"Novemser","count":1},{"name":"Luming Dong","email":"dong.luming@zte.com.cn","login":"10227694","count":1},{"name":"Lorin Hochstein","email":"lorinh@gmail.com","login":"lorin","count":1},{"name":"Kirill","email":"freetransform@gmail.com","login":"melhesedek","count":1},{"name":"Jeff Hemphill","email":"jthemphill@gmail.com","login":"jthemphill","count":1},{"name":"Jay Parlar","email":"parlar@gmail.com","login":"parlarjb","count":1},{"name":"JarodDif","email":"47737490+JarodDif","login":"JarodDif","count":1},{"name":"JYwellin","email":"JYwellin","login":"JYwellin","count":1},{"name":"Guanzhou Hu","email":"35757009+josehu07","login":"josehu07","count":1},{"name":"Calvin Loncaric","email":"marvinx03@gmail.com","login":"Calvin-L","count":1},{"name":"Damien Doligez","email":"damien.doligez@inria.fr","login":"damiendoligez","count":1},{"name":"Eugene Huang","email":"eugene@goforward.com","login":"elh","count":1},{"name":"Geoffrey Huntley","email":"ghuntley@ghuntley.com","login":"ghuntley","count":1},{"name":"George Pîrlea","email":"george@pirlea.net","login":"dranov","count":1}],"past_year_committers":[{"name":"Markus Alexander Kuppe","email":"github.com@lemmster.de","login":"lemmy","count":75},{"name":"Andrew Helwer","email":"ahelwer","login":"ahelwer","count":6},{"name":"Vasilis nasopoulos","email":"vasilis_nasopoulos@hotmail.com","login":"vasilisnasopoulos","count":3},{"name":"Stephan Merz","email":"muenchnerkindl","login":"muenchnerkindl","count":3},{"name":"Josef Widder","email":"44643235+josef-widder","login":"josef-widder","count":1},{"name":"Giuliano Losa","email":"giuliano@losa.fr","login":"nano-o","count":1},{"name":"Markus Kuppe","email":"mkuppe@mkuppe01.nvidia.com","login":null,"count":1}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-09-12T00:00:08.263Z","repositories_count":7263318,"commits_count":1089836328,"contributors_count":48257849,"owners_count":1453681,"committers_count":3505047,"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"}}