GitHub Rankingspeople and organizations by total stars
Rank among 52,133 people
#13,261

Nada Amin

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

Where the stars come from

inc
971
llm-verified-with-monte-carlo-tree-search
295
dot
164
io.livecode.ch
143
staged-miniKanren
143
logically
118
129 other repositories
1,249

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#13,107#13,185#13,262 Oct 5Oct 24