Rankings
Badges
/
namin
Rankings
Badges
Overview
Ranks
Repositories
Languages
Nada Amin
@namin
Refresh
Open GitHub
🇺🇸 Cambridge, MA
Harvard University
Profile age: over 17 years
Updated about 8 hours ago
1,203 followers • 494 following
Contacts
namin@alum.mit.edu
http://namin.seas.harvard.edu
https://scholar.google.com/citations?user=9cGEmcgAAAAJ
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#12,349
#28,846
#5,768
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
inc
943
114
updated almost 6 years ago • age almost 14 years
Scheme
84.8%
Rust
7.4%
C
6.8%
Makefile
0.7%
Dockerfile
0.3%
llm-verified-with-monte-carlo-tree-search
282
30
updated 6 months ago • age almost 2 years
Jupyter Notebook
88.9%
Python
9.7%
Shell
1.4%
Dockerfile
0.0%
dot
161
12
updated about 9 years ago • age over 13 years
io.livecode.ch
143
7
updated 4 months ago • age almost 12 years
HTML
39.2%
Python
35.7%
Dockerfile
19.9%
Shell
3.0%
CSS
2.2%
staged-miniKanren
136
16
1
updated 4 months ago • age almost 8 years
Racket
68.1%
Scheme
29.6%
Python
1.1%
OCaml
1.0%
Makefile
0.2%
View all 75 repositories
Last Contributions
2025
gpt-researcher
1 PR
+1
-0
Python
23,524
3,116
58
minimo
2 PRs
+7
-7
Rust
36
16
dafny-annotator
1 PR
+36
-0
Python
13
2
charmonator
1 PR
+1
-1
JavaScript
7
1
dafny-sketcher-studies
1 PR
+99
-0
Dafny
1
0
View all contributions
Latest Updates
03 Oct 2025
Followers Count:
1,201
1,203
18 Sep 2025
Followers Count:
1,200
1,201
04 Sep 2025
Website Url:
http://namin.org
http://namin.seas.harvard.edu
Followers Count:
1,197
1,200
07 Aug 2025
Followers Count:
1,191
1,197
10 Jul 2025
Followers Count:
1,187
1,191
02 Jan 2025
First seen
Subscribe to namin's GitHub rank updates in your messenger
WhatsApp
Telegram
