pytket-phir is a circuit analyzer and translator from pytket to PHIR. - View it on GitHub