MQT QCEC - A tool for Quantum Circuit Equivalence Checking
A quantum simulator based on decision diagrams written in C++
A tool to test security of json web token
