Share :

pedrotst

Pedro Abreu

@pedrotst

Indiana, USA 🇺🇸

Refresh user

Last updated : 11:06AM UTC, Jun 28th 2021

53 - Rank 182 075 🌍

Coq

Ranking:

World: 82 / 737

United States of America 🇺🇸: 23 / 161

Fishers: 1 / 1

1 repository

#82
27

HTML

Ranking:

World: 40396 / 267554

United States of America 🇺🇸: 6392 / 29901

Fishers: 6 / 15

2 repositories

#40396
5

No language

Ranking:

World: 88513 / 531811

United States of America 🇺🇸: 10757 / 43420

Fishers: 7 / 15

4 repositories

#88513
4

OCaml

Ranking:

World: 1417 / 3227

United States of America 🇺🇸: 308 / 675

Fishers: 1 / 1

2 repositories

#1417
3

TeX

Ranking:

World: 6882 / 23502

United States of America 🇺🇸: 1197 / 3651

Fishers: 1 / 1

3 repositories

#6882
3

C#

Ranking:

World: 66118 / 132947

United States of America 🇺🇸: 8135 / 14209

Fishers: 9 / 11

1 repository

#66118
2

Emacs Lisp

Ranking:

World: 4433 / 9408

United States of America 🇺🇸: 1001 / 2044

Fishers: 1 / 2

2 repositories

#4433
2

C

Ranking:

World: 66360 / 151074

United States of America 🇺🇸: 9264 / 18420

Fishers: 5 / 9

2 repositories

#66360
2

Makefile

Ranking:

World: 6678 / 15335

United States of America 🇺🇸: 1086 / 2147

Fishers: 2 / 2

1 repository

#6678
2

Haskell

Ranking:

World: 7990 / 11059

United States of America 🇺🇸: 1608 / 2084

Fishers: 1 / 1

1 repository

#7990
1

Python

Ranking:

World: 315349 / 483868

United States of America 🇺🇸: 43109 / 58493

Fishers: 16 / 23

1 repository

#315349
1

Agda

Ranking:

World: 285 / 349

United States of America 🇺🇸: 50 / 54

Fishers: 1 / 1

1 repository

#285
1