Joakim Öhman

@mr-ohman

null

Profile age: almost 12 years

Updated 12 days ago

24 followers • 6 following

Global Rank

Advanced 1

Persona

Creator

#335,233

N/A

#590,670

Top 3 Languages By Stars

updated 2 months ago • age almost 9 years

Agda99.8%

Makefile0.2%

updated over 9 years ago • age over 9 years

Agda100.0%

Subscribe to mr-ohman's GitHub rank updates in your messenger