PrototypeCommon
inQWIRE/SQIR
A Small Quantum Intermediate Representation
- Owner
- inQWIRE (organization)
- Stars
- Stars: 107
- Forks
- Forks: 26
- Language
- Rocq Prover
- License
- MIT
- Created
- 2018
- Topics
- coqquantum-computingcompiler-construction
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by inQWIRE
All 2 repos by inQWIRE- inQWIRE/QWIREStars: 113CoqPrototype
Nearby in Rocq Prover
All Rocq Prover repos- rocq-community/cornStars: 117Rocq ProverPrototype
- SkyLabsAI/BRiCkStars: 111Rocq ProverPrototype
- logsem/iris-tutorialStars: 107Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
- ymherklotz/vericertStars: 101Rocq ProverPrototype
- jwiegley/coq-pipesStars: 100Rocq ProverPrototype