Yao is part of Julia's Summer of Code. Please check if you are interested in the ideas we propose, or you can also propose your own idea to us!
ZXCalculus.jl: ZX-calculus is a graphical language which can characterize quantum circuits. It is a powerful tool which is usually used for quantum ciucuits simplification.
ZX.jlwill implement quantum ciucuits simplification algorithms based on ZX-calculus in pure Julia. Also, it will provide interfaces to import and export quantum circuits to the form of YaoIR, an intermediate representation for quantum programs in the
Yao.jl. So that one can get quantum circuits with higher performance automatically when designing quantum programs with
QuDiffEq.jl: Quantum algorithms for solving differential equations.