Share :

andrejbauer

Andrej Bauer

@andrejbauer

Slovenia 🇸🇮

Refresh user

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

2 070 - Rank 9 850 🌍

OCaml

Ranking:

World: 12 / 3220

Slovenia 🇸🇮: 1 / 3

12 repositories

#12
1 575

TeX

Ranking:

World: 188 / 23489

Slovenia 🇸🇮: 1 / 31

6 repositories

#188
275

Verilog

Ranking:

World: 110 / 4296

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: 10840 / 267394

Slovenia 🇸🇮: 8 / 106

1 repository

#10840
26

Python

Ranking:

World: 54865 / 483536

Slovenia 🇸🇮: 49 / 248

4 repositories

#54865
24

Java

Ranking:

World: 54725 / 310823

Slovenia 🇸🇮: 42 / 152

1 repository

#54725
8

Agda

Ranking:

World: 122 / 349

Slovenia 🇸🇮: 3 / 3

2 repositories

#122
7

Perl

Ranking:

World: 7425 / 15080

Slovenia 🇸🇮: 5 / 16

1 repository

#7425
2

Lean

Ranking:

World: 118 / 170

Slovenia 🇸🇮: 2 / 2

1 repository

#118
1

Objective-C

Ranking:

World: 27884 / 42165

Slovenia 🇸🇮: 16 / 20

1 repository

#27884
1

Haskell

Ranking:

World: 6995 / 11043

Slovenia 🇸🇮: 5 / 6

1 repository

#6995
1