Hola Miguel, que bueno que me respondas.
El leaderboard toma datos del BMO (Bugzilla Mozilla.Org)
La idea es incentivar a contribuir código en Mozilla.
Casi todos los proyectos tienen mirror en github o sus fuentes estan en github.
Pero si podras ver los repos en github tiene deshabilitada la opción "issues" para manejarlos por Bugzilla.
Dentro del REPS de Mozilla en Venezuela, su función es difundir, es prensa. Es motivar a participar.
Hay muchos desarrolaldores aunque no esten dentro del Reps o Mozilla Venezuela crean addons entre otras cosas.
Un abrazo.