PrototypeCommune
inQWIRE/SQIR
A Small Quantum Intermediate Representation
- Propriétaire
- inQWIRE (organisation)
- Étoiles
- Étoiles : 107
- Forks
- Forks : 26
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2018
- Sujets
- coqquantum-computingcompiler-construction
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de inQWIRE
Les 2 dépôts de inQWIRE- inQWIRE/QWIREÉtoiles : 113CoqPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- rocq-community/cornÉtoiles : 117Rocq ProverPrototype
- SkyLabsAI/BRiCkÉtoiles : 110Rocq ProverPrototype
- logsem/iris-tutorialÉtoiles : 107Rocq ProverPrototype
- math-comp/hierarchy-builderÉtoiles : 104Rocq ProverPrototype
- ymherklotz/vericertÉtoiles : 101Rocq ProverPrototype
- jwiegley/coq-pipesÉtoiles : 100Rocq ProverPrototype