z3 committers

The Z3 Theorem Prover

Last synced: 17 days ago

Total Commits: 17,686
Total Committers: 354
Total Bot Commits: 42
Total Bot Committers: 1
Avg Commits per committer: 49.96
Development Distribution Score (DDS): 0.416

Commits in the past year: 1,083
Committers in the past year: 40
Bot Commits in the past year: 9
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 27.075
Development Distribution Score (DDS) in the past year: 0.336

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

Excludes empty and merge commits.

Name	Email	Commits
Nikolaj Bjorner	n**r@m**m	719
Lev Nachmanson	l**h@h**m	252
Nuno Lopes	n**s@t**t	18
LiviaSun	3****n	13
Clemens Eisenhofer	5****r	11
dependabot[bot] 🤖	4****]	9
Copilot	1****t	5
LeeYoungJoon	6****e	4
Josh Berdine	j**h@b**t	4
Audrey Dutcher	a**y@r**o	4
Hari Govind V K	h**4@g**m	3
Kevin Gibbons	b**t@g**m	3
Peli de Halleux	p****n	3
Can Cebeci	c**i@e**h	3
Jonas Jongejan	2****J	2
Kirill A. Korinsky	k**l@k**y	2
Páll Haraldsson	P**n@g**m	2
Shiwei Weng 翁士伟	a**r@g**m	2
mikulas-patocka	9****a	2
stormckey	s**h@g**m	2
chausner	1****r	1
Zhang	5****e	1
Yuantian Ding	4****g	1
Steffen Smolka	s**j@g**m	1
Philip Zucker	p**8@g**m	1
Phil Clayton	p**n@l**t	1
Oskar Haarklou Veileborg	o**0@h**m	1
Nikhil Idiculla	n**a@g**m	1
Michał Górny	m**y@g**g	1
Mark Ryan	m**n@r**m	1
Linus	l**k@r**e	1
Kyle Bloom	k**m@g**m	1
Jonáš Fiala	j**f@g**m	1
Dongjae Lee	5****3	1
Dmitri	d**6@g**m	1
David Seifert	1****o	1
Christoph M. Wintersteiger	c**h@i**i	1
Carson Radtke	n**5@g**m	1
Brandon Stride	6****e	1
Ammar Askar	a**r@h**m	1

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

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / Z3Prover/z3 committers