Share :

mattam82

Matthieu Sozeau

@mattam82

Nantes 🇫🇷

Refresh user

Last updated : 03:31PM UTC, Jun 17th 2021

222 - Rank 68 134 🌍

Coq

Ranking:

World: 14 / 737

France 🇫🇷: 2 / 43

Nantes: 1 / 2

6 repositories

#14
185

OCaml

Ranking:

World: 520 / 3227

France 🇫🇷: 55 / 281

Nantes: 2 / 3

6 repositories

#520
24

HTML

Ranking:

World: 31197 / 267554

France 🇫🇷: 680 / 4489

Nantes: 24 / 132

1 repository

#31197
7

Verilog

Ranking:

World: 1092 / 4299

France 🇫🇷: 21 / 37

Nantes: 1 / 1

2 repositories

#1092
4

Emacs Lisp

Ranking:

World: 5785 / 9408

France 🇫🇷: 158 / 248

Nantes: 4 / 8

1 repository

#5785
1

JavaScript

Ranking:

World: 329137 / 547136

France 🇫🇷: 7376 / 10919

Nantes: 241 / 366

1 repository

#329137
1