Bartiq

Bartiq is a library that allows one to analyze quantum algorithms and manipulate symbolic expressions for quantum resource estimates (QRE).