Share :

heades

Harley D. Eades III

@heades

United States 🇺🇸

Refresh user

Last updated : 02:21PM UTC, Jul 1st 2021

45 - Rank 202 443 🌍

Coq

Ranking:

World: 94 / 737

United States of America 🇺🇸: 26 / 161

2 repositories

#94
21

Agda

Ranking:

World: 101 / 349

United States of America 🇺🇸: 15 / 54

2 repositories

#101
9

Haskell

Ranking:

World: 3541 / 11059

United States of America 🇺🇸: 785 / 2084

3 repositories

#3541
5

TeX

Ranking:

World: 4952 / 23502

United States of America 🇺🇸: 895 / 3651

4 repositories

#4952
5

OCaml

Ranking:

World: 1335 / 3227

United States of America 🇺🇸: 286 / 675

1 repository

#1335
4

No language

Ranking:

World: 242760 / 531811

United States of America 🇺🇸: 24739 / 43420

1 repository

#242760
1