Algorithms for finite projected entangled pair states | Synapse