Share :

jorge-jbs

Jorge Blázquez Saborido

@jorge-jbs

Madrid, España 🇪🇸

Refresh user

Last updated : 12:35AM UTC, Dec 2nd 2021

2 - Rank 1 231 998 🌍

Agda

Ranking:

World: 349 / 349

Spain 🇪🇸: 1 / 1

Madrid: 1 / 1

1 repository

#349
1

Rust

Ranking:

World: 27059 / 27091

Spain 🇪🇸: 237 / 239

Madrid: 44 / 44

1 repository

#27059
1