GitHub repository: njuwfang/QuantumSE.jl
Primary language: Julia
Description: A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.