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
- runtime-itzli3 Public
Anzaetek/runtime-itzli3’s past year of commit activity - runtime-qfl-mlncp Public
Anzaetek/runtime-qfl-mlncp’s past year of commit activity - piQture Public Forked from SaashaJoshi/piQture
piQture: A quantum machine learning library for image processing.
Anzaetek/piQture’s past year of commit activity - runtime-backest-01 Public
Anzaetek/runtime-backest-01’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 - runtime-01-base Public
Anzaetek/runtime-01-base’s past year of commit activity - runtime-01 Public
Anzaetek/runtime-01’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…