A extensão que ele usa é a oficial do Google Tradutor mesmo, você pode acessar a página dela clicando aqui
Outra extensão que possui a mesma função de pop-up é a do Reverso Context. As traduções dela geralmente são melhores, só que é um pouco mais lenta do que a do Google Tradutor.