I think MoltenVK probably is the translation layer they're using.