Share :

lthms

Thomas Letan

@lthms

Paris 🇫🇷

Refresh user

Last updated : 12:07AM UTC, Aug 12th 2021

106 - Rank 115 626 🌍

Coq

Ranking:

World: 40 / 737

France 🇫🇷: 5 / 43

Paris: 2 / 21

4 repositories

#40
54

Emacs Lisp

Ranking:

World: 1083 / 9408

France 🇫🇷: 41 / 248

Paris: 20 / 91

1 repository

#1083
33

Haskell

Ranking:

World: 2094 / 11059

France 🇫🇷: 49 / 214

Paris: 17 / 67

2 repositories

#2094
14

TeX

Ranking:

World: 11398 / 23502

France 🇫🇷: 314 / 628

Paris: 101 / 196

1 repository

#11398
2

JavaScript

Ranking:

World: 433572 / 547136

France 🇫🇷: 9124 / 10919

Paris: 2836 / 3328

1 repository

#433572
1

Makefile

Ranking:

World: 12483 / 15335

France 🇫🇷: 414 / 485

Paris: 123 / 138

1 repository

#12483
1

Vim script

Ranking:

World: 14488 / 17549

France 🇫🇷: 345 / 408

Paris: 114 / 141

1 repository

#14488
1