GitHub Rankingspeople and organizations by total stars
Rank among 52,906 people
#30,259

Julian Berman

Julian, on GitHub since 2010
Total stars
1,333
Repositories counted
107
Since yesterday
▼ 5
Tier
D

Where the stars come from

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

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#30,078#30,193#30,308 Oct 5Nov 12