The Dovs “Categories” here is using the Docs plugin.
There is also a theme component calles Docs card filter iirc.