My understanding of Vagrant is that it is a meta virtualization format, so in theory one could create a Vagrantfile that points at the aforementioned vagrant boxes and it will use VMware to do the local provisioning (the Vagrant boxes even use the VMDK disk format, which should make it even easier). In theory :-)
I think if you use Packer you can create boxes in multiple formats. But once created, the boxes are just simply packaged VMs with some metadata. The formats are different for VirtualBox and VMware.