Ecosyste.ms: Commits
An open API service providing commit metadata for open source projects.
GitHub / prove-rs/z3.rs committers
Last synced: about 1 year ago
Total Commits: 368
Total Committers: 55
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 6.691
Development Distribution Score (DDS): 0.625
Total Committers: 55
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 6.691
Development Distribution Score (DDS): 0.625
Commits in the past year: 54
Committers in the past year: 11
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 4.909
Development Distribution Score (DDS) in the past year: 0.556
Committers in the past year: 11
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 4.909
Development Distribution Score (DDS) in the past year: 0.556
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/prove-rs/z3.rs
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/prove-rs%2Fz3.rs
Name | Commits | |
---|---|---|
Bruce Mitchener | b****r@g****m | 138 |
Nick Fitzgerald | f****n@g****m | 34 |
Julius Rakow | j****s@r****e | 23 |
Sameer Puri | s****r@u****m | 22 |
SeeSpring | 3****g@u****m | 18 |
Patrick LaFontaine | 3****n@u****m | 12 |
Craig Disselkoen | c****l@g****m | 11 |
Taegyun Kim | k****n@g****m | 11 |
rob kelly | r****3@g****m | 8 |
Graydon Hoare | g****n@p****m | 7 |
James Gill | j****l@f****m | 6 |
enjhnsn2 | e****o@e****u | 6 |
LEAFERx | l****x@o****m | 5 |
Federico Poli | f****i@g****m | 4 |
AndesVL | 3****L@u****m | 3 |
David Thien | d****n@e****u | 3 |
Mcat12 | n****2@y****m | 3 |
bumblepie | l****e@b****e | 3 |
hengchu | h****g@g****m | 3 |
Benedikt Radtke | b****e@g****m | 3 |
Tom Dohrmann | e****3@g****e | 3 |
Jan-Erik Rediger | j****k@f****e | 2 |
Graham Enos | g****s@r****m | 2 |
Niels Saurer | m****e@n****m | 2 |
Alexander Coffin | a****9@g****m | 2 |
Luca BRUNO | l****o@c****m | 2 |
Jason Shirk | j****h@m****m | 2 |
peter | p****s@v****l | 2 |
Rob Kelly | R****3@g****m | 2 |
Danny Zhu | d****u@d****s | 1 |
Federico | f****i@u****m | 1 |
Dmytro Polunin | 4****n@u****m | 1 |
HKalbasi | 4****i@u****m | 1 |
Guanqun Lu | g****u@o****m | 1 |
Jethro Beekman | j****o@j****l | 1 |
Abhishek Chandramouli Sharma | a****s@p****m | 1 |
Karl | 3****l@u****m | 1 |
Hengchu Zhang | h****u@u****m | 1 |
Thomas DuBuisson | t****n@g****m | 1 |
Radu Stoenescu | r****u@u****m | 1 |
Alex Touchet | a****t@o****m | 1 |
Virgile Andreani | a****a@u****r | 1 |
Matt Keeter | m****r@g****m | 1 |
tetzel | t****l@f****m | 1 |
be7a | b****n@g****m | 1 |
modulitos | m****s@u****m | 1 |
Samuel Damashek | s****k@g****m | 1 |
hkalbasi | h****i@p****m | 1 |
ksqsf | i****@k****e | 1 |
Mathias Svensson | f****n@f****k | 1 |
Shriphani Palakodety | s****p@g****m | 1 |
laszlo-nodebee | 7****e@u****m | 1 |
Sascha Wise | m****e@s****m | 1 |
tyleretzel | t****1@g****m | 1 |
Felix Rath | f****h@g****m | 1 |
Excludes empty and merge commits.
Name | Commits | |
---|---|---|
Bruce Mitchener | b****r@g****m | 24 |
Patrick LaFontaine | 3****n@u****m | 12 |
SeeSpring | 3****g@u****m | 7 |
AndesVL | 3****L@u****m | 3 |
Graham Enos | g****s@r****m | 2 |
Guanqun Lu | g****u@o****m | 1 |
HKalbasi | 4****i@u****m | 1 |
hkalbasi | h****i@p****m | 1 |
peter | p****s@v****l | 1 |
laszlo-nodebee | 7****e@u****m | 1 |
Thomas DuBuisson | t****n@g****m | 1 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.