Share :

amintimany

Amin Timany

@amintimany

Aarhus, Denmark 🇩🇰

Refresh user

Last updated : 09:23AM UTC, Jun 28th 2021

109 - Rank 113 394 🌍

Coq

Ranking:

World: 23 / 737

Denmark 🇩🇰: 1 / 13

Aarhus: 1 / 8

7 repositories

#23
106

OCaml

Ranking:

World: 1818 / 3227

Denmark 🇩🇰: 23 / 29

Aarhus: 4 / 5

1 repository

#1818
2

JavaScript

Ranking:

World: 352009 / 547136

Denmark 🇩🇰: 1196 / 1627

Aarhus: 92 / 129

1 repository

#352009
1