MQT QCEC - A tool for Quantum Circuit Equivalence Checking
MIT License
Modern C++ quantum computing library
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits