Awesome Lists
Top Projects
Most Links
Search
About
Add Project
SQIR
A Small Quantum Intermediate Representation
GitHub
78
stars
8
watching
24
forks
Language:
Coq
last commit:
about 2 months ago
compiler-construction
coq
quantum-computing