Popular repositories Loading
-
-
qbricks.github.io
qbricks.github.io PublicForked from Qbricks/qbricks.github.io
Formal tool for circuit compilation and analysis
SMT
-
QWIRE
QWIRE PublicForked from inQWIRE/QWIRE
A quantum circuit language and formal verification tool
Coq
-
QuantumLib
QuantumLib PublicForked from inQWIRE/QuantumLib
Coq library for reasoning about quantum programs
Coq
-
-
mlvoqc
mlvoqc PublicForked from inQWIRE/mlvoqc
OCaml code extracted from the Coq VOQC optimizer
OCaml
Repositories
- piQture Public Forked from SaashaJoshi/piQture
piQture: A quantum machine learning library for image processing.
Anzaetek/piQture’s past year of commit activity - quantumreservoirpy Public Forked from OpenQuantumComputing/quantumreservoirpy
Some initial code for simple QRC examples on discrete states
Anzaetek/quantumreservoirpy’s past year of commit activity - DiffIR Public Forked from Zj-BinXia/DiffIR
This project is the official implementation of 'Diffir: Efficient diffusion model for image restoration', ICCV2023
Anzaetek/DiffIR’s past year of commit activity - piquasso Public Forked from Budapest-Quantum-Computing-Group/piquasso
A Photonic Quantum Computer Simulator written in Python.
Anzaetek/piquasso’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…