PrototypeCommune
inQWIRE/QWIRE
A quantum circuit language and formal verification tool
- Propriétaire
- inQWIRE (organisation)
- Étoiles
- Étoiles : 113
- Forks
- Forks : 28
- Langage
- Coq
- Licence
- MIT
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de inQWIRE
Les 2 dépôts de inQWIRE- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype
D’autres dépôts Coq
Tous les dépôts Coq- verse-lab/ceramistÉtoiles : 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
- clarus/falsoÉtoiles : 105CoqPrototype
- jonleivent/mindless-codingÉtoiles : 104CoqPrototype
- Ptival/PeaCoqÉtoiles : 104CoqPrototype