GitHub Rankingspeople and organizations by total stars
Rank among 52,897 people
#48,187

Dominik Peters

DominikPeters, on GitHub since 2013
Total stars
657
Repositories counted
45
Since yesterday
▼ 31
Tier
D

Where the stars come from

tikz-editor
509
scotus-videos
49
texpresso-vscode
31
HardnessReductionsLean
6
SocialChoiceLean
6
abcvoting-app
5
39 other repositories
51

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#48,151#48,321#48,491 Nov 2Nov 15