GitHub Rankingspeople and organizations by total stars
Rank among 52,395 people
#30,208

Julian Berman

Julian, on GitHub since 2010
Total stars
1,323
Repositories counted
106
Since yesterday
▲ 17
Tier
D

Where the stars come from

lean.nvim
613
vim-textobj-variable-segment
160
awesome-bugs
148
Ivoire
64
tree-sitter-lean
60
dotfiles
54
100 other repositories
224

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#30,078#30,152#30,225 Oct 5Oct 30