Ecosyste.ms: Commits

An open API service providing commit metadata for open source projects.

GitHub / Z3Prover/z3 committers

Last synced: about 1 year ago

Total Commits: 15,684
Total Committers: 315
Total Bot Commits: 14
Total Bot Committers: 1
Avg Commits per committer: 49.79
Development Distribution Score (DDS): 0.429

Commits in the past year: 1,297
Committers in the past year: 55
Bot Commits in the past year: 14
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 23.582
Development Distribution Score (DDS) in the past year: 0.192

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/Z3Prover/z3
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/Z3Prover%2Fz3

Name	Email	Commits
Nikolaj Bjorner	n**r@m**m	8957
Christoph M. Wintersteiger	c**r@m**m	1620
Lev Nachmanson	l**h@h**m	1185
Leonardo de Moura	l**o@m**m	660
Murphy Berzish	m**h@g**m	546
Arie Gurfinkel	a**l@u**a	354
Nuno Lopes	n**s@m**m	347
Dan Liew	d**w@i**k	277
Ken McMillan	k**l@m**m	182
Bruce Mitchener	b**r@g**m	149
Nuno Lopes	a**s@m**m	69
Nuno Lopes	n**s@t**t	54
Anh-Dung Phan	t**n@m**m	51
Lev Nachmanson	l**h@m**m	48
Mikolas Janota	m**a@g**m	46
Nuno Lopes	t**d@m**m	43
Nikolaj Bjorner	n**r@h**m	42
Andreas Froehlich	t**o@m**m	33
Yatao Li	y**i@m**m	32
George Karpenkov	g**e@m**e	31
Miguel Angelo Da Terra Neves	t**e@m**m	30
Murphy Berzish	m**i@u**m	30
Simon Cruanes	s**7@m**g	30
nilsbecker	n**r@s**h	29
Josh Berdine	j**b@m**m	28
Margus Veanes	v**s@u**m	27
Clemens Eisenhofer	5**r@u**m	25
Zachary Wimer	z**r@u**m	22
Margus Veanes	m**s@m**m	20
Everett Maus	e**s@g**m	18
Thai Trinh	t**t@c**g	17
Bernhard Gleiss	b**s@f**t	15
Mathias Soeken	m**n@e**h	15
martin-neuhaeusser	m**r@s**m	15
Andrew Dutcher	a**w@a**m	15
Audrey Dutcher	a**y@r**o	14
dependabot[bot] 🤖	4**]@u**m	14
Jakob Rath	g**t@j**u	14
Daniel Schemmel	d**l@c**e	13
jofleish	j**h@m**m	13
Doug Woos	d**s@g**m	12
Anh-Dung Phan	p**9@y**m	11
Alex Horn	t**h@m**m	11
Andrew Helwer	a**r@m**m	10
TheRealNebus	m**s@g**m	9
Michał Janiszewski	j**d@g**m	9
Hari Govind V K	h**4@g**m	8
Nicola Mometto	m**e@b**t	8
Daniel J. Hofmann	d**l@t**g	7
Kevin Gibbons	b**t@g**m	7
nilsbecker	n**r@w**m	7
Aleksandar Zeljic	a**c@i**e	7
Nicolas Braud-Santoni	n**s@b**u	7
Andres Nötzli	a**i@g**m	7
Arie Gurfinkel	a**l@g**m	6
John Fleisher	j**r@g**m	6
Andrew V. Jones	a**s@v**m	6
Federico Mora	f**a@g**m	6
Matthias Schlaipfer	t**h@m**m	5
philzook58	p**8@g**m	5
Huanyi Chen	h**n@h**m	5
ahumenberger	a**r@g**m	5
Daniel Perelman	d**e@m**m	4
Daniel Selsam	d**m@p**m	4
Alexey Vishnyakov	v**a@i**u	4
Jamey Sharp	j**y@m**t	4
Jerry James	l**y@g**m	4
0152la	a**0@i**k	4
KangJing Huang (Chaserhkj)	h**g@g**m	4
Weng Shiwei	a**r@g**m	4
Arie Gurfinkel	a**e@c**u	4
FabianWolff	f**f@a**e	4
Mathias Soeken	a**k@m**m	4
Yakir Vizel	y**l@g**m	4
Martin R. Neuhaeusser	p**t@m**m	4
Matteo Marescotti	m**i@u**h	4
Andrew V. Jones	a**j@g**m	3
Lev Nachmanson	l**h@n**m	3
Andrew Helwer	a**r@u**m	3
Ding Fei	d**0@g**m	3
Moritz Kiefer	m**r@p**g	3
Alexander Traud	p**d@c**m	3
Anton Kochkov	a**v@g**m	3
Kevin Borgolte	c**o@c**c	3
Iain Scott	i**t@c**t	3
Kenneth McMillan	m**n@K**l	3
Caleb Stanford	c**d@g**m	3
Matt Thornton	m**3@g**m	3
JohnLyu2	6**2@u**m	3
Louis Gesbert	l**t@o**m	3
John Regehr	r**r@c**u	3
Ken McMillan	k**l@y**m	3
Zachary Kincaid	z**d@g**m	3
Philipp Wendler	u**i@p**e	3
trinhmt	1**t@u**m	3
Walden Yan	w**0@g**m	3
ThanhVu (Vu) Nguyen	t**n@c**u	3
bannsec	w**f@g**m	3
Henning Guenther	t**g@m**m	3
xlauko	x**o@m**z	3
Ben Laurie	b**n@l**g	2
Federico Poli	f**i@g**m	2
Gleb Popov	6**d@g**m	2
Ben Niu	n**3@g**m	2
Matthew Parkinson	m**k@m**m	2
Mikhail R. Gadelha	m**o@g**m	2
Jack Yao	9**6@q**m	2
Saloed	n**7@m**u	2
Gianfranco Costamagna	c**o@y**t	2
Olaf Tomalka	o**a@g**m	2
Julian Parsert	j**t@g**m	2
Nikolaj Bjorner	n**e@m**m	2
Carsten Varming	v**g@a**m	2
Eric Kilmer	e**r@g**m	2
Addison Crump	m**e@a**o	2
Andrei Sebastian BURUIANA	s**a@i**z	2
Douglas B. Staple	d**g@q**m	2
Yan	y**s@y**t	2
Chaoqi Zhang	p**s@1**m	2
Duncan Ogilvie	m**t@g**m	2
Ivan Gotovchits	i**g@i**g	2
Gram	m**l@o**v	2
Julien Schueller	s**r@p**m	2
Jan Vraný	8**y@u**m	2
Graydon Hoare	g**n@p**m	2
Pierre Pronchery	k**n@d**g	2
Mathieu Roger	r**i@f**r	2
Naveen	1**n@u**m	2
Jens Steinhauser	e**3@s**t	2
Joran Honig	j**g@g**m	2
Max ulidtko	u**o@g**m	2
U-REDMOND\kenmcmil	k**l@A**m	2
Matteo Nicoli	a**x@p**m	2
Michael Lowell Roberts	m**t@m**m	2
calebstanford-msr	6**r@u**m	2
Sebastian Buchwald	S**d@k**u	2
Pierre Bouvier	5**c@u**m	2
Nikolaj Bjorner	n**r@z**l	2
Nuno Lopes	n**s@i**t	2
Stefan Muenzel	s**e@s**t	2
Yuto Takei	y**i@i**p	2
Sergey Vladimirov	v**y@g**m	2
pcarbonn	p**e@g**m	2
rainoftime	r**e@g**m	2
fleisherdev	5**v@u**m	2
unknown	n**r@N**m	2
unknown	n**r@N**m	2
Alcides Fonseca	m**e@a**m	1
Daniel Kirchner	d**l@e**g	1
Daniel Peebles	c**n@u**m	1
Alex	a**n@g**m	1
Andrea Lattuada	a**a@l**e	1
Andreas	h**s@g**m	1
Andrey Rybalchenko	r**l@m**m	1
Andy Wright	a**t@m**u	1
Angus Lepper	a**r@g**m	1
Anthony Romano	r**1@g**m	1
Anton Kochkov	x**a@g**m	1
Artem Alekseev	a**v@i**m	1
Asger Gitz-Johansen	s**1@u**m	1
Bernhard F. Brodowsky	b**y@g**m	1
Bobby Powers	b**s@g**m	1
Bohao Zhang	E**r@f**m	1
Bram V	3**b@u**m	1
Calvin Loncaric	m**3@g**m	1
Adrian Stanciu	s**n@g**m	1
Alberto Garcia Illera	a**a@g**m	1
Declan Hwang	d**7@g**m	1
Alberto Griggio	g**o@f**u	1
Chris Moore	0**0@g**m	1
Alexander Lisianoi	a**i@p**m	1
Charlie Barto	b**e@g**m	1
Dennis Yurichev	d**s@y**m	1
Ken McMillan	m**l@t**m	1
Dominic Steinhöfel	s**c@g**m	1
AlexVonB	A**B@u**m	1
Dionna Amalie Glaze	d**e@g**m	1
Don Syme	d**e@u**m	1
Egor Bredikhin	3**8@u**m	1
Felix Kohlgrüber	f**r@g**m	1
Bruce Collie	b**8@c**k	1
Dominic Chen	d**c@g**m	1
Emma Jane Bonestell	E**l@g**m	1
Felix Yan	f**s@a**g	1
Florian Pigorsch	f**h@g**m	1
Frederick Robinson	f**n@f**m	1
Fábio Ferreira	f**a@p**m	1
Facundo Domínguez	f**z@g**m	1
Filipe Gonçalves	f**s@u**m	1
Gabriel Radanne	d**b@z**m	1
Han Gao	r**n@g**m	1
Hennadii Chernyshchyk	g**r@g**m	1
J Sailor	j**b@j**m	1
Henrich Lauko	h**o@t**m	1
Ivo Wever	i**r@g**m	1
Iain Scott	1**2@u**m	1
Jack Feser	f**r@c**u	1
Frédéric Bour	f**r@l**t	1
Ken McMillan	k**l@z**l	1
Jack·Boos·Yu	4**Y@u**m	1
Alexander Kreuzer	a**r@u**m	1
Kevin Chung	k**g@n**u	1
Jacob Lifshay	p**e@g**m	1
James Bornholt	b**t@c**u	1
Brecht Sanders	b**t@s**g	1
Brenton Bostick	b**k@g**m	1
Jan Mrázek	e**l@h**z	1
Guang Chen	c**c@1**m	1
Johannes Kanig	k**g@a**m	1
Johannes Kanig	k**n@u**m	1
Joe Hauns	j**e@m**t	1
John Grosen	j**g@j**m	1
Julius Marozas	m**s@g**m	1
Jamie Collinson	j**n@g**m	1
Jonathan Wakely	g**b@k**g	1
Kyung Mo Beak	k**k@m**m	1
Malte Mues	m**y@u**m	1
Kaleb Crans	6**s@u**m	1
Leonardo	l**o@e**g	1
Luca Bruno	l**b@d**g	1
Leonardo de Moura	l**o@l**)	1
Luca Bruno	l**b@r**m	1
Mark Marron	m**n@m**m	1
Kiwamu Okabe	k**u@g**m	1
Matteo	m**o@e**t	1
Marcus Völker	N**y@g**m	1
Martin Nowack	m**k@t**e	1
Manuel Jacob	m**e@m**e	1
Loris D'Antoni	t**n@m**m	1
Kevin Phoenix	k**n@k**s	1
Michael Sullivan	s**y@m**t	1
Matteo	m**o@t**t	1
Max Zinkus	m**s@j**u	1
Lorenzo Veronese	3**t@g**m	1
Nikita Leshenko	n**a@l**t	1
Marc Mosko	m**o@u**m	1
Pat Hawks	p**t@p**m	1
Max Levatich	m**3@c**u	1
Patrick LaFontaine	3**n@u**m	1
Wensheng Tang	s**8@g**m	1
Richard Bradley	R**y@s**m	1
Paul Phillips	p**p@i**g	1
Phillip Schanely	p**t@g**m	1
Karlheinz Friedberger	k**b@g**m	1
Philipp Schröer	P**b@u**m	1
Naxaes	t**n@h**m	1
Patrick Totzke	p**e@g**m	1
Paul Ehrlich	P**h@g**e	1
Imran Settuba	4**r@u**m	1
Robert Jacobson	r**n@g**m	1
Phillip Schanely	p**y@g**m	1
Rose Kunkel	r**e@r**e	1
Rolf Eike Beer	e**e@s**e	1
Rocco Salvia	s**o@g**m	1
Sangwoo Joh	s**h@r**r	1
Ryan Goulden	p**n@g**m	1
Saurav Yadav	4**h@u**m	1
Saurabh Chaturvedi	s**3@g**m	1
Sacha Ayoun	s**n@g**m	1
Qix	Q**-@u**m	1
Sosuke MORIGUCHI	c**s@g**m	1
Titus Barik	t**k@m**m	1
Samuel Thibault	s**t@e**g	1
Teodor Vlasov	t**v@g**m	1
Ricky Zhou	r**y@r**g	1
Thomas Pani	t**i@g**m	1
Kate	k**e@d**g	1
Tony Tiger	t**r@g**m	1
Kirill Bobyrev	k**e@g**m	1
Tias Guns	t**s@u**g	1
Peter Bruch	5**0@u**m	1
Shaoyuan CHEN	s**n@s**n	1
Tim Felgentreff	t**f@g**m	1
John Jones	j**n@e**g	1
Kartik Singhal	k**l@g**m	1
Xiao Liang	y**1@u**m	1
Victor Paléologue	v**e@p**u	1
corrodedHash	c**h@u**m	1
Takeshi Abe	t**e@f**p	1
Zephyr Pellerin	z**v@n**g	1
Nadav Rotem	n**t@u**m	1
Xavier DELPIERRE	a**9@h**r	1
cttghc	d**e@l**m	1
Philipp Paulweber	p**r@g**m	1
gmh5225	2**7@q**m	1
hongjiawu	h**9@g**m	1
hume	h**e@h**l	1
intrigus-lgtm	6**m@u**m	1
igcontreras	i**a@p**m	1
jeff	j**8@s**m	1
Sapan Bhatia	g**n@f**m	1
unknown	l**o@Z**m	1
Uli Schlachter	p**n@z**n	1
nikswamy	n**y@u**m	1
yizhou7	y**7@o**m	1
pinzaghi	5**i@u**m	1
zhouzhenghui	z**i@g**m	1
mbergen	m**t@u**e	1
Wojciech Nawrocki	w**i@p**m	1
zach shipko	z**o@g**m	1
Victor	V**3@u**m	1
Travis Nielsen	t**l@m**m	1
rashchedrin	r**n@g**m	1
alexanderjsummers	a**s@i**h	1
vhalros	v**s@g**m	1
unknown	n**r@n**m	1
Virgile ROBLES	v**s@p**h	1
nabice	n**e@g**m	1
Yusuke Matsushita	y**t@g**m	1
Dewald de Jager	D**r@u**m	1
pjneary	p**y@g**m	1
yxliang01	1**k@g**m	1
comet	h**4@g**m	1
Dmitriy Trubenkov	4**s@g**m	1
권승완	3**o@u**m	1

Excludes empty and merge commits.

Name	Email	Commits
Nikolaj Bjorner	n**r@m**m	1048
Nuno Lopes	n**s@t**t	51
Lev Nachmanson	l**h@h**m	48
Bruce Mitchener	b**r@g**m	39
dependabot[bot] 🤖	4**]@u**m	14
Clemens Eisenhofer	5**r@u**m	12
Jakob Rath	g**t@j**u	12
Arie Gurfinkel	a**l@g**m	5
Christoph M. Wintersteiger	c**r@m**m	5
Kevin Gibbons	b**t@g**m	4
Hari Govind V K	h**4@g**m	4
JohnLyu2	6**2@u**m	3
Walden Yan	w**0@g**m	3
Eric Kilmer	e**r@g**m	2
Gleb Popov	6**d@g**m	2
Stefan Muenzel	s**e@s**t	2
John Fleisher	j**r@g**m	2
jofleish	j**h@m**m	2
Naveen	1**n@u**m	2
Julian Parsert	j**t@g**m	2
Kevin Phoenix	k**n@k**s	1
Alex	a**n@g**m	1
AndreiL	a**0@i**k	1
Joe Hauns	j**e@m**t	1
John Jones	j**n@e**g	1
Brecht Sanders	b**t@s**g	1
Declan Hwang	d**7@g**m	1
Ding Fei	d**0@g**m	1
Dominic Steinhöfel	s**c@g**m	1
Duncan Ogilvie	m**t@g**m	1
Mark Marron	m**n@m**m	1
J Sailor	j**b@j**m	1
Frederick Robinson	f**n@f**m	1
Jack·Boos·Yu	4**Y@u**m	1
Jerry James	l**y@g**m	1
Olaf Tomalka	o**a@g**m	1
Andrea Lattuada	a**a@l**e	1
Anthony Romano	r**1@g**m	1
Sacha Ayoun	s**n@g**m	1
Felix Kohlgrüber	f**r@g**m	1
Peter Bruch	5**0@u**m	1
Thomas Pani	t**i@g**m	1
Patrick LaFontaine	3**n@u**m	1
gmh5225	2**7@q**m	1
권승완	3**o@u**m	1
Ryan Goulden	p**n@g**m	1
Saloed	n**7@m**u	1
igcontreras	i**a@p**m	1
Max Levatich	m**3@c**u	1
yizhou7	y**7@o**m	1
Bram V	3**b@u**m	1
Facundo Domínguez	f**z@g**m	1
Victor Paléologue	v**e@p**u	1
nikswamy	n**y@u**m	1
Naxaes	t**n@h**m	1

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.