Top users by languages

Lean

Back to languages list

Joey Dodds

@jldodds

#1
51

Galois, Inc.

@GaloisInc

#2
50

Jesse Michael Han

@jesse-michael-han

#3
44

Microsoft

@microsoft

#4
30

#5
21

#6
19

John Tristan

@jtristan

#8
16

#9
15

Simon Hudon

@cipher1024

#10
14

#11
13

Jonathan Sterling

@jonsterling

#12
12

Vaibhav Karve

@vaibhavkarve

#13
12

Andrew Ashworth

@alashworth

#14
12

Floris van Doorn

@fpvandoorn

#15
8

#16
8

John Thickstun

@jthickstun

#17
7

Duckki Oe

@duckki

#18
6

David Renshaw

@dwrensha

#19
5

Naman

@metalogical

#20
5

#21
4

Joe Hendrix

@joehendrix

#22
4

Dan Stanescu

@stanescuUW

#23
3

#24
3

#25
2