Rankings
Badges
/
elhaddadyacine
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mohamed Yacine EL HADDAD
@elhaddadyacine
Refresh
Open GitHub
🇫🇷 Paris, France
Fastcube
Profile age: almost 11 years
Updated 4 days ago
14 followers • 6 following
Repositories
ProblemExtractor
3
0
updated about 7 years ago • age over 7 years
OCaml
98.1%
OpenEdge ABL
1.2%
Makefile
0.7%
simple-tz-sc
1
0
updated over 3 years ago • age over 3 years
TypeScript
99.7%
JavaScript
0.3%
Contributions
2021
ekstrakto
1 PR
+1,003
-655
OCaml
5
4
SKonverto
2 PRs
+10
-9
OCaml
3
5
2020
zenon_modulo
1 PR
+1,583
-1,310
OCaml
17
7
1
2019
lambdapi
1 PR
+379
-11
OCaml
355
38
12
ekstrakto
1 PR
+159
-148
OCaml
5
4
SKonverto
1 PR
+3,519
-2
OCaml
3
5
Deducteam.github.io
1 PR
+2
-1
HTML
2
4
2018
lambdapi
2 PRs
+10
-8
OCaml
355
38
12