Share :

mikeshulman

Mike Shulman

@mikeshulman

San Diego, CA 🇺🇸

Refresh user

Last updated : 03:23PM UTC, Jun 19th 2021

131 - Rank 99 685 🌍

TeX

Ranking:

World: 426 / 23502

United States of America 🇺🇸: 96 / 3651

San Diego: 4 / 47

8 repositories

#426
109

Coq

Ranking:

World: 152 / 737

United States of America 🇺🇸: 43 / 161

San Diego: 3 / 3

1 repository

#152
12

Agda

Ranking:

World: 169 / 349

United States of America 🇺🇸: 23 / 54

San Diego: 1 / 1

2 repositories

#169
4

Haskell

Ranking:

World: 5892 / 11059

United States of America 🇺🇸: 1232 / 2084

San Diego: 23 / 33

1 repository

#5892
2

JavaScript

Ranking:

World: 290507 / 547136

United States of America 🇺🇸: 43983 / 70942

San Diego: 520 / 903

1 repository

#290507
2

Verilog

Ranking:

World: 1815 / 4299

United States of America 🇺🇸: 270 / 565

San Diego: 8 / 12

1 repository

#1815
2