Share :

annenkov

Danil Annenkov

@annenkov

Aarhus 🇩🇰

Refresh user

Last updated : 06:28PM UTC, Jun 29th 2021

43 - Rank 209 018 🌍

Lean

Ranking:

World: 27 / 170

Denmark 🇩🇰: 1 / 1

Aarhus: 1 / 1

1 repository

#27
18

Coq

Ranking:

World: 211 / 737

Denmark 🇩🇰: 6 / 13

Aarhus: 5 / 8

2 repositories

#211
7

Racket

Ranking:

World: 314 / 1427

Denmark 🇩🇰: 3 / 9

Aarhus: 1 / 4

2 repositories

#314
7

Agda

Ranking:

World: 155 / 349

Denmark 🇩🇰: 3 / 6

Aarhus: 2 / 4

1 repository

#155
5

Java

Ranking:

World: 92386 / 311069

Denmark 🇩🇰: 264 / 759

Aarhus: 17 / 52

1 repository

#92386
4

No language

Ranking:

World: 202156 / 531811

Denmark 🇩🇰: 526 / 1107

Aarhus: 40 / 82

1 repository

#202156
2