Rankings
Badges
/
zhangir-azerbayev
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zhangir Azerbayev
@zhangir-azerbayev
Refresh
Open GitHub
null
Profile age: over 5 years
Updated 8 days ago
65 followers • 18 following
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Contributor
#124,728
#187,899
#198,566
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ProofNet
108
14
updated 12 months ago • age over 3 years
Lean
52.6%
TeX
43.5%
Python
3.1%
Jupyter Notebook
0.7%
Shell
0.1%
lean-chat
50
5
updated over 3 years ago • age over 3 years
Lean
95.2%
Python
4.8%
lean-chat-vscode
26
3
updated about 3 years ago • age over 3 years
TypeScript
59.7%
CSS
25.7%
JavaScript
14.5%
proof-pile
21
3
updated almost 3 years ago • age almost 3 years
Jupyter Notebook
51.2%
Python
48.8%
mathlib-semantic-search
15
1
updated over 2 years ago • age over 2 years
Python
81.9%
HTML
18.1%
View all 12 repositories
Last Contributions
2024
infinigen
1 PR
+7
-0
Python
6,626
534
26
seqax
1 PR
+63
-30
Python
167
16
2023
vllm
1 PR
+9
-3
Python
59,113
10,412
74
math-lm
~36 PRs
+719
-13,238
Python
1,086
90
lm-evaluation-harness
~17 PRs
+2,641
-1,007
Python
24
10
View all contributions
Latest Updates
23 Sep 2025
Followers Count:
66
65
09 Sep 2025
Followers Count:
63
66
27 Jul 2025
Followers Count:
64
63
16 Jan 2025
First seen
Subscribe to zhangir-azerbayev's GitHub rank updates in your messenger
WhatsApp
Telegram
