Share :

catalin-hritcu

Catalin Hritcu

@catalin-hritcu

Bochum, Germany 🇩🇪

Refresh user

Last updated : 12:19AM UTC, Aug 25th 2021

16 - Rank 385 738 🌍

F*

Ranking:

World: 4 / 40

Germany 🇩🇪: 1 / 2

Bochum: 1 / 1

1 repository

#4
12

Coq

Ranking:

World: 462 / 737

Germany 🇩🇪: 18 / 26

Bochum: 2 / 2

1 repository

#462
2

Python

Ranking:

World: 408432 / 483868

Germany 🇩🇪: 12330 / 13765

Bochum: 44 / 49

1 repository

#408432
1

Shell

Ranking:

World: 118048 / 135079

Germany 🇩🇪: 5857 / 6446

Bochum: 15 / 17

1 repository

#118048
1