Share :

pnwamk

Andrew Kent

@pnwamk

Portland, OR 🇺🇸

Refresh user

Last updated : 09:43PM UTC, Jun 24th 2021

111 - Rank 111 752 🌍

Racket

Ranking:

World: 55 / 1427

United States of America 🇺🇸: 29 / 377

Portland: 2 / 12

18 repositories

#55
92

Haskell

Ranking:

World: 3002 / 11059

United States of America 🇺🇸: 677 / 2084

Portland: 37 / 82

3 repositories

#3002
7

Lean

Ranking:

World: 71 / 170

United States of America 🇺🇸: 22 / 38

Portland: 4 / 4

2 repositories

#71
4

Coq

Ranking:

World: 414 / 737

United States of America 🇺🇸: 89 / 161

Portland: 4 / 7

1 repository

#414
2

Shell

Ranking:

World: 66707 / 135079

United States of America 🇺🇸: 11562 / 21113

Portland: 301 / 508

1 repository

#66707
2

TeX

Ranking:

World: 10118 / 23502

United States of America 🇺🇸: 1739 / 3651

Portland: 26 / 55

1 repository

#10118
2

Agda

Ranking:

World: 276 / 349

United States of America 🇺🇸: 48 / 54

Portland: 3 / 4

1 repository

#276
1

Ruby

Ranking:

World: 56118 / 80550

United States of America 🇺🇸: 14458 / 19004

Portland: 504 / 606

1 repository

#56118
1