Rankings
Badges
/
pavponn
Rankings
Badges
Overview
Ranks
Repositories
Languages
Pavel Ponomarev
@pavponn
Refresh
Open GitHub
🇬🇧 London, UK
Profile age: almost 8 years
Updated 8 days ago
8 followers • 7 following
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Beginner 4
Persona
Contributor
N/A
#1,845,137
#1,492,323
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
type-theory
1
0
updated almost 6 years ago • age almost 6 years
Haskell
76.6%
Yacc
10.6%
Logos
7.5%
Makefile
5.3%
math-logic
1
0
updated over 6 years ago • age over 6 years
Haskell
87.0%
Yacc
6.4%
RPC
3.2%
Makefile
2.1%
Logos
1.3%
optimization-methods
0
0
updated over 4 years ago • age over 4 years
Python
100.0%
computational-methods
0
0
updated over 5 years ago • age over 5 years
Jupyter Notebook
100.0%
vk-internship-2019
0
0
updated over 6 years ago • age over 6 years
C++
100.0%
View all 6 repositories
Last Contributions
2022
UTBotCpp
2 PRs
+2
-9
C++
177
30
21
2019
logic-notes
1 PR
+175
-1
TeX
1
10
View all contributions
Subscribe to pavponn's GitHub rank updates in your messenger
WhatsApp
Telegram
