Pyre is faster in some circumstances.

With that said, the real answer is 'it depends', and it may well be the case that mypy serves your needs better.