Git Stars - uwplse

Home
Users
uwplse

Share :

uwplse

UW PLSE

@uwplse

Seattle, WA 🇺🇸

Refresh user

Last updated : 12:10AM UTC, Sep 6th 2021

1 793 - Rank 11 560 🌍

Coq

Ranking:

World: 3 / 737

United States of America 🇺🇸: 2 / 161

11 repositories

#3
767

Racket

Ranking:

World: 9 / 1427

United States of America 🇺🇸: 5 / 377

Seattle: 1 / 29

#9
590

Rust

Ranking:

World: 1957 / 27091

United States of America 🇺🇸: 409 / 4565

Seattle: 36 / 305

#1957
103

OCaml

Ranking:

World: 212 / 3227

United States of America 🇺🇸: 42 / 675

Seattle: 2 / 39

#212
91

C

Ranking:

World: 7833 / 151074

United States of America 🇺🇸: 1303 / 18420

Seattle: 67 / 980

#7833
66

Java

Ranking:

World: 13260 / 311069

United States of America 🇺🇸: 1497 / 27391

Seattle: 86 / 1437

#13260
60

Clojure

Ranking:

World: 1167 / 7373

United States of America 🇺🇸: 313 / 1854

Seattle: 17 / 92

#1167
30

OpenSCAD

Ranking:

World: 109 / 1279

United States of America 🇺🇸: 27 / 268

Seattle: 4 / 18

#109
27

Alloy

Ranking:

World: 1 / 59

United States of America 🇺🇸: 1 / 14

#1
15

C++

Ranking:

World: 30107 / 201315

United States of America 🇺🇸: 4219 / 22386

Seattle: 269 / 1202

#30107
13

JavaScript

Ranking:

World: 111309 / 547136

United States of America 🇺🇸: 19438 / 70942

Seattle: 958 / 3389

#111309
9

Shell

Ranking:

World: 25660 / 135079

United States of America 🇺🇸: 4732 / 21113

Seattle: 205 / 998

#25660
9

HTML

Ranking:

World: 30340 / 267554

United States of America 🇺🇸: 5085 / 29901

Seattle: 241 / 1319

#30340
7

Python

Ranking:

World: 217940 / 483868

United States of America 🇺🇸: 31162 / 58493

Seattle: 1574 / 2855

#217940
3

Jupyter Notebook

Ranking:

World: 103069 / 121062

United States of America 🇺🇸: 13881 / 15624

Seattle: 670 / 749

#103069
1

Perl

Ranking:

World: 13640 / 15105

United States of America 🇺🇸: 2833 / 3053

Seattle: 133 / 146

#13640
1

Haskell

Ranking:

World: 10114 / 11059

United States of America 🇺🇸: 1937 / 2084

Seattle: 92 / 103

#10114
1