nicolabotta - GitHub Analytics

@nicolabotta

null

Profile age: almost 13 years

Updated 14 days ago

11 followers • 1 following

Global Rank

Beginner 5

Persona

Creator

#768,824

#1,582,447

#1,162,518

Top 3 Languages By Stars

updated over 8 years ago • age over 10 years

Idris96.5%

TeX3.1%

Makefile0.3%

Haskell0.1%

Subscribe to nicolabotta's GitHub rank updates in your messenger