GitHub Rankingspeople and organizations by total stars
Rank among 52,676 people
#46,048

Oliver Dressler

oOo0oOo, on GitHub since 2012
Total stars
715
Repositories counted
38
Since yesterday
▼ 14
Tier
D

Where the stars come from

lean-lsp-mcp
545
leanclient
49
LeanDoomed
21
RocketKite
19
winerymap
17
LeanSage
15
32 other repositories
49

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#45,950#46,091#46,231 Oct 5Nov 5