Share :

ia0

Julien Cretin

@ia0

Zürich 🇨🇭

Refresh user

Last updated : 01:31PM UTC, Jun 24th 2021

86 - Rank 133 197 🌍

Rust

Ranking:

World: 2350 / 27091

Switzerland 🇨🇭: 25 / 243

Zurich: 11 / 97

2 repositories

#2350
78

Haskell

Ranking:

World: 3734 / 11059

Switzerland 🇨🇭: 46 / 114

Zurich: 31 / 63

1 repository

#3734
5

C

Ranking:

World: 65974 / 151074

Switzerland 🇨🇭: 561 / 1025

Zurich: 197 / 345

2 repositories

#65974
2

Coq

Ranking:

World: 554 / 737

Switzerland 🇨🇭: 2 / 2

Zurich: 1 / 1

1 repository

#554
1