psg-mit / twist-popl22
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
☆43Updated 3 years ago
Alternatives and similar repositories for twist-popl22:
Users that are interested in twist-popl22 are comparing it to the libraries listed below
- Proof assistant for qRHL☆18Updated this week
- A Small Quantum Intermediate Representation☆81Updated last week
- Coq library for reasoning about quantum programs☆35Updated last week
- A JIT compiler for hybrid quantum programs in PennyLane☆151Updated this week
- A quantum circuit language and formal verification tool☆95Updated last year
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆68Updated 3 months ago
- A graphical tool for the ZX calculus☆54Updated last week
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆11Updated 11 months ago
- An interactive theorem prover for string diagrams☆109Updated 3 months ago
- An OCaml based implementation of a Quil QVM☆37Updated 6 years ago
- OpenQASM 3 + OpenPulse in Python☆25Updated 3 months ago
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆99Updated last year
- Verifying the ZX Calculus☆19Updated this week
- Specification of Quil: A Practical Quantum Instruction Set Architecture☆112Updated 4 months ago
- Quantum Annealing Prolog☆39Updated 3 years ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆12Updated 3 years ago
- A QASM interpreter and quantum simulator in Rust☆27Updated 5 months ago
- Pythonic quantum-classical programming language☆35Updated this week
- PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).☆61Updated this week
- Quantum programming language putting entanglement and superposition front and center☆41Updated last year
- QIR compiler tools and optimization passes for targeting QIR to different hardware backends☆28Updated last year
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆97Updated 2 years ago
- Quantum circuit analysis toolkit☆67Updated this week
- Formalized quantum computing in Lean theorem prover☆23Updated 3 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆83Updated 9 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Hierarchical Unified Graph Representation for quantum and classical programs☆30Updated this week
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Full-stack quantum processing toolkit☆163Updated last week
- A tiny, self-contained, general-purpose quantum interpreter.☆48Updated last year