Does anyone know what plugin is being used?

Does anyone know what plugin is being used on the following page:

http://jsbox.net/category/photo-gallery/

This photogallery is one of my favorite. Can anyone tell me if this is a wordpress plugin, and if so which one.