wpmudev plugin for plugin page?

Hi,
I'm curious if this grid system for displaying all the plugins with image and text is a wpmudev plugin or is this just custom coding?
https://premium.wpmudev.org/projects/category/plugins/#plugins-filter

Thanks,
John