GitHub Rankingspeople and organizations by total stars
Rank among 52,675 people
#13,325

Nada Amin

namin, on GitHub since 2008
Total stars
3,092
Repositories counted
135
Since yesterday
▲ 26
Tier
D

Where the stars come from

inc
973
llm-verified-with-monte-carlo-tree-search
296
dot
165
io.livecode.ch
144
staged-miniKanren
144
logically
119
129 other repositories
1,251

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#13,107#13,229#13,351 Oct 5Nov 5