Share :

hablapps

Habla Computing

@hablapps

Móstoles (Madrid), Spain 🇪🇸

Refresh user

Last updated : 12:10AM UTC, Aug 15th 2021

742 - Rank 25 456 🌍

Haskell

Ranking:

World: 189 / 11059

Spain 🇪🇸: 1 / 116

Móstoles: 1 / 1

1 repository

#189
378

Scala

Ranking:

World: 271 / 15533

Spain 🇪🇸: 4 / 204

Móstoles: 1 / 2

30 repositories

#271
296

Coq

Ranking:

World: 70 / 737

Spain 🇪🇸: 1 / 6

Móstoles: 1 / 1

3 repositories

#70
33

Jupyter Notebook

Ranking:

World: 6650 / 121062

Spain 🇪🇸: 52 / 1066

Móstoles: 1 / 2

3 repositories

#6650
33

TeX

Ranking:

World: 11489 / 23502

Spain 🇪🇸: 172 / 322

Móstoles: 1 / 1

1 repository

#11489
2