feynman. Quantum circuit analysis toolkit
t-par. A quantum circuit optimizer based on sum-over-paths representations
mitms. A meet-in-the-middle quantum circuit synthesizer
tietze. Haskell
shockrl. OCaml
