Top users by languages

Isabelle

Back to languages list

elastic

@elastic

#1
168

#2
94

Input Output

@input-output-hk

#3
84

Sy Brand

@TartanLlama

#4
50

Mario Alvarez

@mmalvarez

#5
48

#7
26

tangentstorm

@tangentstorm

#8
26

#9
16

pandaman

@pandaman64

#10
14

Kuniwak

@Kuniwak

#12
10

#13
9

Jan van Brügge

@jvanbruegge

#14
9

SKolodynski

@SKolodynski

#15
8

#16
7

ledgerwatch

@AlexeyAkhunov

#17
6

Michael Sproul

@michaelsproul

#18
6

WasmCert

@WasmCert

#19
6

maxhaslbeck

@maxhaslbeck

#20
6

#21
6

EduPH

@EduPH

#22
5

#24
5

ethereum

@ethereum

#25
4