Lumorti / The-Quantum-TunnelsLinks
A dungeon crawler designed for a quantum computer
☆77Updated 4 years ago
Alternatives and similar repositories for The-Quantum-Tunnels
Users that are interested in The-Quantum-Tunnels are comparing it to the libraries listed below
Sorting:
- Specification of Quil: A Practical Quantum Instruction Set Architecture☆119Updated 9 months ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆12Updated 3 years ago
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆44Updated 3 years ago
- Blackbird is a quantum assembly language for continuous-variable quantum computation, that can be used to program Xanadu's quantum photon…☆75Updated 2 years ago
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆103Updated 2 years ago
- Library for Q# implementing various qRAM proposals☆56Updated 3 years ago
- A (not really) complete list of quantum games☆99Updated 2 years ago
- a better hash inverter for many people to use☆20Updated 5 years ago
- Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)☆60Updated 4 years ago
- A quantum version of the classic Pong☆121Updated last year
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆88Updated 8 months ago
- Quantum Annealing Prolog☆39Updated 3 years ago
- Game that teaches quantum computing using Qiskit (http://qiskit.org) in a Minetest (http://minetest.net) block world. Works on Windows, m…☆2Updated last year
- Computations in the monodromy polytope for quantum gate sets☆17Updated 11 months ago
- An Antlr4 Grammar for OPENQASM 2.0☆17Updated 7 years ago
- The optimizing Quil compiler.☆475Updated 9 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- 🔎 Neural Network Quantum State Tomography (based on https://www.nature.com/articles/s41567-018-0048-5)☆23Updated 7 years ago
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- Interpreter of the Avalon programming language.☆22Updated 6 years ago
- Full-stack quantum processing toolkit☆173Updated 3 weeks ago
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆86Updated 9 years ago
- The RPC framework and message specification for @rigetti Quantum Cloud Services.☆80Updated 2 years ago
- Implementation of Variational Quantum Factoring algorithm.☆54Updated 2 years ago
- A quantum network simulation framework.☆131Updated last year
- A graphical tool for the ZX calculus☆60Updated last month
- minorminer is a heuristic tool for minor embedding: given a minor and target graph, it tries to find a mapping that embeds the minor into…☆51Updated last month
- An API for easily incorporating the D-Wave system as a sampler, either directly or through Leap's cloud-based hybrid samplers☆96Updated 3 weeks ago