GitHub repository: ChenZhao44/YaoEGraph.jl
Primary language: Julia
Description: EGraph based quantum circuit simplification via Metatheory