Share :

jsiek

Jeremy G. Siek

@jsiek

Bloomington, IN 🇺🇸

Refresh user

Last updated : 10:20PM UTC, Jun 24th 2021

171 - Rank 82 635 🌍

Agda

Ranking:

World: 18 / 349

United States of America 🇺🇸: 5 / 54

Bloomington: 1 / 4

3 repositories

#18
86

TeX

Ranking:

World: 707 / 23502

United States of America 🇺🇸: 154 / 3651

Bloomington: 1 / 14

2 repositories

#707
63

C++

Ranking:

World: 22339 / 201315

United States of America 🇺🇸: 3165 / 22386

Bloomington: 2 / 25

1 repository

#22339
20

OCaml

Ranking:

World: 2346 / 3227

United States of America 🇺🇸: 507 / 675

Bloomington: 2 / 2

1 repository

#2346
1

Racket

Ranking:

World: 920 / 1427

United States of America 🇺🇸: 272 / 377

Bloomington: 7 / 8

1 repository

#920
1