I was wondering what plugin is WPMUdev.org using for it's reputation point system? (achievement

I was wondering what plugin is WPMUdev.org using for it's reputation point system? (achievements?) Where can I download? and How much?