Share :

gares

Enrico Tassi

@gares

Inria Sophia-Antipolis 🇫🇷

Refresh user

Last updated : 02:28AM UTC, Jun 21st 2021

27 - Rank 277 499 🌍

C

Ranking:

World: 23501 / 151074

France 🇫🇷: 681 / 3831

Sophia Antipolis: 1 / 1

1 repository

#23501
13

OCaml

Ranking:

World: 907 / 3227

France 🇫🇷: 100 / 281

Sophia Antipolis: 1 / 1

6 repositories

#907
8

Coq

Ranking:

World: 365 / 737

France 🇫🇷: 28 / 43

Sophia Antipolis: 1 / 1

2 repositories

#365
2

HTML

Ranking:

World: 94727 / 267554

France 🇫🇷: 1839 / 4489

Sophia Antipolis: 1 / 1

1 repository

#94727
2

Shell

Ranking:

World: 83547 / 135079

France 🇫🇷: 2638 / 3961

Sophia Antipolis: 1 / 1

1 repository

#83547
1

TeX

Ranking:

World: 13342 / 23502

France 🇫🇷: 373 / 628

Sophia Antipolis: 1 / 1

1 repository

#13342
1