Rankings
Badges
/
mechtaev
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sergey Mechtaev
@mechtaev
Refresh
Open GitHub
🇨🇳 China
Peking University
Profile age: over 14 years
Updated 4 days ago
88 followers • 14 following
Contacts
mechtaev@gmail.com
https://mechtaev.com
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%
angelix.io
0
1
updated about 7 years ago • age over 9 years
HTML
89.7%
CSS
10.3%
test-pr
0
0
updated about 2 years ago • age about 2 years
bugs-dot-jar-review
0
0
updated about 6 years ago • age about 6 years
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
fnooi
1 PR
+1
-7
HTML
0
0
2019
women-in-programming-languages-research
1 PR
+1
-0
173
69
2016
klee.github.io
2 PRs
+14
-4
HTML
16
49
