SQIR

A Small Quantum Intermediate Representation

GitHub

78 stars
8 watching
24 forks
Language: Coq
last commit: about 2 months ago
compiler-constructioncoqquantum-computing