PrototypeCommon
inQWIRE/QWIRE
A quantum circuit language and formal verification tool
- Owner
- inQWIRE (organization)
- Stars
- Stars: 113
- Forks
- Forks: 28
- Language
- Coq
- License
- MIT
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by inQWIRE
All 2 repos by inQWIRE- inQWIRE/SQIRStars: 107Rocq ProverPrototype
Nearby in Coq
All Coq repos- verse-lab/ceramistStars: 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype
- clarus/falsoStars: 105CoqPrototype
- jonleivent/mindless-codingStars: 104CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype