GitHub Rankingspeople and organizations by total stars
Rank among 52,898 people
#45,995

Oliver Dressler

oOo0oOo, on GitHub since 2012
Total stars
722
Repositories counted
38
Since yesterday
▲ 65
Tier
D

Where the stars come from

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

Rank over time

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