gap-packages / guavaLinks
GAP package guava - computations relative to error-correcting codes
☆18Updated this week
Alternatives and similar repositories for guava
Users that are interested in guava are comparing it to the libraries listed below
Sorting:
- ☆24Updated last year
- Quantum circuit analysis toolkit☆89Updated last month
- A graphical tool for the ZX calculus☆79Updated last week
- A toolbox for simulating open quantum system dynamics.☆10Updated 3 years ago
- Efficient calculation of Clifford circuits in Julia.☆46Updated 4 years ago
- A coding theory library for Julia.☆37Updated this week
- Design scalable noise characterisation experiments for quantum computers☆28Updated last month
- Content of the Error Correction Zoo, stored in structured YAML format☆68Updated last week
- A Small Quantum Intermediate Representation☆91Updated 5 months ago
- Kernel Intermediate Representation Infrastructure☆49Updated last week
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆105Updated 2 years ago
- Python Tools for Quantum Error Correction☆23Updated last month
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Updated 4 years ago
- An implementation of ZX-calculus in Julia☆54Updated 3 weeks ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- The TKET quantum compiler☆48Updated this week
- Automatic computation of detectors in a topologically quantum error corrected computation☆13Updated last week
- Pythonic quantum-classical programming language☆114Updated this week
- A quick ZX calculus library written in Rust☆77Updated 2 months ago
- The Tomographer Project — Practical, Reliable Error Bars in Quantum Tomography☆10Updated 7 years ago
- Simple python implementation of Scott Aaronson et al's CHP simulator.☆19Updated 6 years ago
- Arline Benchmarks platform allows to benchmark various algorithms for quantum circuit mapping/compression against each other on a list of…☆32Updated 3 years ago
- Fast Pauli Decomposition and its inverse☆21Updated 7 months ago
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆37Updated 5 months ago
- Bartiq☆45Updated this week
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 years ago
- ☆51Updated last month
- Quantum information theory in Lean 4☆100Updated last week
- Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.☆32Updated last month