Rankings
Badges
/
mechtaev
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sergey Mechtaev
@mechtaev
Refresh
Open GitHub
🇨🇳 China
Peking University
Profile age: over 14 years
Updated 3 days ago
88 followers • 14 following
Contacts
mechtaev@gmail.com
https://mechtaev.com
Profile Overview
Global
China
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#660,737
#1,538,023
#139,733
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
codis
6
3
updated almost 9 years ago • age over 9 years
Java
100.0%
maxsmt-playground
6
0
updated about 8 years ago • age about 12 years
SMT
94.2%
Scala
5.8%
repair-synthesis
4
2
updated over 6 years ago • age over 10 years
Java
79.8%
Scala
19.6%
HTML
0.5%
codis-experiments
3
0
updated almost 9 years ago • age over 9 years
Slash
99.4%
Java
0.6%
ANTLR
0.0%
Python
0.0%
gnu-repo-analyzer
0
1
updated over 5 years ago • age over 9 years
Python
100.0%
View all 8 repositories
Last Contributions
2023
cerberus
1 PR
+2
-1
Python
73
36
2022
modus
1 PR
+127
-0
Rust
278
7
9
modus-openjdk-images-case-study
1 PR
+14
-61
Dockerfile
1
0
2021
modus
3 PRs
+1,854
-407
Rust
278
7
9
singapore_attractions
1 PR
+28
-0
Python
1
1
View all contributions
Latest Updates
22 Oct 2025
Followers Count:
87
88
09 Sep 2025
Followers Count:
88
87
28 Jul 2025
Followers Count:
89
88
11 Jul 2025
Followers Count:
87
89
06 Jan 2025
First seen
Subscribe to mechtaev's GitHub rank updates in your messenger
WhatsApp
Telegram
