Rankings
Badges
/
zilberstein
Rankings
Badges
Overview
Ranks
Repositories
Languages
Noam Zilberstein
@zilberstein
Refresh
Open GitHub
🇺🇸 Ithaca, NY
Cornell University
Profile age: over 12 years
Updated 1 day ago
48 followers • 16 following
Contacts
https://cs.cornell.edu/~noamz
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Advanced 4
Persona
Influencer
#63,227
N/A
#40,476
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
system-fc-coq
12
3
updated over 10 years ago • age about 11 years
TeX
71.3%
Coq
28.4%
Makefile
0.3%
KeystrokeDynamicsZKP
5
0
updated almost 11 years ago • age almost 11 years
TeX
89.1%
JavaScript
5.6%
Python
4.4%
CSS
0.8%
outcome-logic
4
0
updated over 1 year ago • age about 2 years
Coq
65.6%
Makefile
25.8%
TeX
8.5%
pcol
3
0
updated 5 days ago • age 3 months
Lean
100.0%
MusiQueue
1
0
updated about 12 years ago • age about 12 years
CSS
67.9%
JavaScript
32.1%
View all 9 repositories
Last Contributions
2014
word8
2 PRs
+6
-6
Haskell
4
3
View all contributions
Latest Updates
24 Oct 2025
Followers Count:
47
48
11 Sep 2025
Followers Count:
48
47
28 Aug 2025
Followers Count:
47
48
14 Aug 2025
Followers Count:
45
47
05 Jan 2025
First seen
Subscribe to zilberstein's GitHub rank updates in your messenger
WhatsApp
Telegram
