Share :

SHoltzen

Steven Holtzen

@SHoltzen

Los Angeles, CA 🇺🇸

Refresh user

Last updated : 07:26PM UTC, Jun 17th 2021

45 - Rank 203 161 🌍

OCaml

Ranking:

World: 391 / 3227

United States of America 🇺🇸: 80 / 675

Los Angeles: 2 / 16

2 repositories

#391
37

C

Ranking:

World: 58360 / 151074

United States of America 🇺🇸: 8216 / 18420

Los Angeles: 206 / 460

1 repository

#58360
3

Python

Ranking:

World: 255797 / 483868

United States of America 🇺🇸: 35445 / 58493

Los Angeles: 991 / 1663

1 repository

#255797
2

C++

Ranking:

World: 117033 / 201315

United States of America 🇺🇸: 14217 / 22386

Los Angeles: 407 / 667

1 repository

#117033
1

Coq

Ranking:

World: 490 / 737

United States of America 🇺🇸: 106 / 161

Los Angeles: 1 / 2

1 repository

#490
1

Rust

Ranking:

World: 18195 / 27091

United States of America 🇺🇸: 3231 / 4565

Los Angeles: 72 / 105

1 repository

#18195
1