Top users by languages

Coq

Back to languages list
Organization uwplse

UW PLSE

@uwplse

#1
767

User jashug

Jasper Hugunin

@jashug

#2
20

User wilcoxjay

James Wilcox

@wilcoxjay

#3
14

User AshleyYakeley

Ashley Yakeley

@AshleyYakeley

#4
6

User duckki

Duckki Oe

@duckki

#5
3

User hubbards

Spencer Hubbard

@hubbards

#6
3

User abcdabcd987

Lequn Chen

@abcdabcd987

#7
2

User vincentjzimmer

Vincent Zimmer

@vincentjzimmer

#8
1

User tlringer

Talia Ringer

@tlringer

#9
1