All my languages are belong to my repos

console-snippet.js

// distinct names of the languages you have github repos in
// use it on github.com/NAME?tab=repositories
var xs = [];
Array.prototype.slice.call($$('.repo-list-stats'))
  .map(function (x) { return x.innerHTML.split(/\s+/)[1] })
  .filter(function (x) {
    if (~xs.indexOf(x) || x[0] == '<') return false;
    xs.push(x);
    return true;
  });