What social sharing plugin does the wpmudev blog use?

What social sharing plugin does the wpmudev blog use? It doesn't seem to be the "Floating Social" plugin. Or is the sharing functionality coded into the site directly? We'd like to use something similar if possible.