Top users by languages

Dafny

Back to languages list

Microsoft

@microsoft

#1
211

#3
32

VMware Labs

@vmware-labs

#4
10

Secure Foundations Lab

@secure-foundations

#5
6

MIT PDOS

@mit-pdos

#6
5

Sumit Lahiri

@codersguild

#7
3

James Wilcox

@wilcoxjay

#8
3

Zilin Zhu

@zhuzilin

#10
1

Josh Cohen

@joscoh

#11
1