Share :

rodrigogribeiro

Rodrigo Geraldo Ribeiro

@rodrigogribeiro

Refresh user

Last updated : 08:54PM UTC, Jun 17th 2021

99 - Rank 120 678 🌍

Agda

Ranking:

World: 39 / 349

5 repositories

#39
39

Coq

Ranking:

World: 93 / 737

6 repositories

#93
21

Haskell

Ranking:

World: 2065 / 11059

4 repositories

#2065
14

TeX

Ranking:

World: 2628 / 23502

5 repositories

#2628
12

Idris

Ranking:

World: 71 / 311

2 repositories

#71
11

HTML

Ranking:

World: 119176 / 267554

1 repository

#119176
1

Racket

Ranking:

World: 796 / 1427

1 repository

#796
1