Share :

andrejbauer

Andrej Bauer

@andrejbauer

Slovenia 🇸🇮

Refresh user

Last updated : 11:33PM UTC, Jun 17th 2021

2 070 - Rank 9 970 🌍

OCaml

Ranking:

World: 12 / 3227

Slovenia 🇸🇮: 1 / 3

12 repositories

#12
1 575

TeX

Ranking:

World: 188 / 23502

Slovenia 🇸🇮: 1 / 31

6 repositories

#188
275

Verilog

Ranking:

World: 110 / 4299

Slovenia 🇸🇮: 2 / 4

1 repository

#110
80

Coq

Ranking:

World: 50 / 737

Slovenia 🇸🇮: 1 / 1

5 repositories

#50
43

Mathematica

Ranking:

World: 96 / 1645

Slovenia 🇸🇮: 1 / 1

1 repository

#96
27

HTML

Ranking:

World: 10874 / 267554

Slovenia 🇸🇮: 8 / 106

1 repository

#10874
26

Python

Ranking:

World: 54917 / 483868

Slovenia 🇸🇮: 49 / 248

4 repositories

#54917
24

Java

Ranking:

World: 54787 / 311069

Slovenia 🇸🇮: 41 / 152

1 repository

#54787
8

Agda

Ranking:

World: 122 / 349

Slovenia 🇸🇮: 3 / 3

2 repositories

#122
7

Perl

Ranking:

World: 7435 / 15105

Slovenia 🇸🇮: 5 / 16

1 repository

#7435
2

Lean

Ranking:

World: 118 / 170

Slovenia 🇸🇮: 2 / 2

1 repository

#118
1

Objective-C

Ranking:

World: 27934 / 42238

Slovenia 🇸🇮: 16 / 20

1 repository

#27934
1

Haskell

Ranking:

World: 7006 / 11059

Slovenia 🇸🇮: 5 / 6

1 repository

#7006
1