João Alpuim

@jalpuim

🇬🇧 Brighton, UK

Profile age: about 13 years

Updated 6 days ago

5 followers • 1 following

Global Rank

Beginner 4

Persona

Creator

#912,466

N/A

#1,935,361

Top 3 Languages By Stars

updated over 9 years ago • age over 9 years

Coq92.1%

Haskell6.2%

Yacc0.9%

Logos0.7%

updated over 8 years ago • age about 13 years

Coq99.6%

Haskell0.4%

Subscribe to jalpuim's GitHub rank updates in your messenger