lanl / QA-Prolog
Quantum Annealing Prolog
☆39Updated 3 years ago
Alternatives and similar repositories for QA-Prolog:
Users that are interested in QA-Prolog are comparing it to the libraries listed below
- Quacee quantum computing language☆11Updated 8 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- Coq library for reasoning about quantum programs☆39Updated 2 months ago
- Tutorial for the CHR system☆16Updated 4 years ago
- A quantum circuit language and formal verification tool☆100Updated last year
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- A Small Quantum Intermediate Representation☆85Updated 2 months ago
- Verifying the ZX Calculus☆20Updated this week
- An OCaml based implementation of a Quil QVM☆37Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- Run hardware descriptions on a quantum annealer☆24Updated 2 years ago
- D-Wave Instance Generator (D-WIG)☆9Updated 2 years ago
- Automatically exported from code.google.com/p/full-maude☆15Updated last year
- An encyclopedia of proofs☆58Updated 4 months ago
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆43Updated 3 years ago
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆86Updated 9 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A package to typeset ZX calculus directly in LaTeX.☆15Updated last year
- Formalized quantum computing in Lean theorem prover☆22Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆46Updated last year