$ -> $.getJSON 'https://zeus.ugent.be/game/top4/show.json', (data) -> str = "
    " for x in data str += "
  1. #{x.github_name} (#{x.score} Z$)
  2. " str += "
" $('#gamification-coders').html(str)