Share :

doofin

doofin

@doofin

Refresh user

Last updated : 12:21AM UTC, Aug 21st 2021

66 - Rank 158 449 🌍

Idris

Ranking:

World: 26 / 311

1 repository

#26
38

Scala

Ranking:

World: 2637 / 15533

3 repositories

#2637
13

Agda

Ranking:

World: 185 / 349

1 repository

#185
4

Haskell

Ranking:

World: 4306 / 11059

1 repository

#4306
4

No language

Ranking:

World: 102369 / 531811

2 repositories

#102369
4

C++

Ranking:

World: 82233 / 201315

1 repository

#82233
3