Pop is based on Gnome, so is probably the same thing as one of the Gnome window tiling managers. 

 No, it's a PopOS thing:
https://github.com/pop-os/shell