Stats are being refreshed, your browser will reload soon...
Progress
Rank:1 kyu
Honor:5,120
Leaderboard Position:#2,109
Honor Percentile:Top 0.276%
Total Completed Kata:117
Languages:
Total Languages Trained:8
Highest Trained:Haskell (1 kyu)
Most Recent:Agda
Contributions
Community:
Comments:22 (6 replies)
Collections:0
Kumite:5 (5 Started)
Translations:1 (1 approved)
Authored Kata:
Created:4 (2 in beta)
Total Completions:358
Total Stars:31
Total Collected:10
Avg. Rank:5 kyu
Avg. Satisfaction Rating:92%
Top Tags:
Fundamentals:5
Theorem Proving:4
Mathematics:2
Interpreters:1
Functional Programming:1