Top users by languages

Coq

Back to languages list
User ezyang

Edward Z. Yang

@ezyang

#1
9

Organization AdaCore

AdaCore

@AdaCore

#2
8

Organization nyu-acsys

NYU ACSys

@nyu-acsys

#3
5

User krishnagopinath

Krishna Gopinath

@krishnagopinath

#4
2

User lematt1991

Matt Le

@lematt1991

#5
2

User ihodes

Isaac Hodes

@ihodes

#6
1

User irmerk

Jolene Langlinais

@irmerk

#7
1

User jinyangli

Jinyang Li

@jinyangli

#8
1