☆17Jan 30, 2024Updated 2 years ago
Alternatives and similar repositories for satmap
Users that are interested in satmap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31Aug 27, 2026Updated 2 months ago
- Qubit Mapping for NISQ-Era Quantum Devices☆20Jun 12, 2020Updated 6 years ago
- Optimization bugs found in popular quantum computing SDKs due to poor numerical handling☆12Oct 12, 2026Updated 3 weeks ago
- ☆13Aug 27, 2026Updated 2 months ago
- Formalization project on Quantum Error Correction in Lean☆46Oct 24, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rotation gate synthesis for early fault-tolerant quantum computing☆17Apr 27, 2026Updated 6 months ago
- QNim game is quantum version of classical Nim game. In QNim game, human/classical computer will play against quantum computer. Developed …☆12Oct 14, 2026Updated 3 weeks ago
- Codes and circuits for "Efficient Magic State Cultivation on RP^2"☆10Jun 19, 2025Updated last year
- demo on simple channel router☆13Jan 3, 2019Updated 7 years ago
- ☆12Jan 25, 2026Updated 9 months ago
- ☆13Jul 18, 2024Updated 2 years ago
- Non-Markovian stochastic SPIn (and harmonic oscillator) DYnamics.☆16Sep 12, 2026Updated last month
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆12Sep 4, 2024Updated 2 years ago
- A C++ Library implementing some tools for the Lattice Surgery Compiler☆36Sep 23, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- List Decoder for the Polarization Weight family of Quantum Polar Code.☆12Feb 3, 2025Updated last year
- Visualize quantum circuits with matplotlib☆11Apr 30, 2020Updated 6 years ago
- Optimisation of Clifford Circuits☆13Aug 12, 2026Updated 2 months ago
- Tools for quantum circuits synthesis, optimization and others.☆27Jun 29, 2026Updated 4 months ago
- Quantum computing without the linear algebra☆84Dec 7, 2025Updated 10 months ago
- Example use cases for quantum workflows, the MODULO framework, and the Quantum Modeling Extension (QuantME)☆12Sep 21, 2026Updated last month
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Hardware-tailored logical circuits for quantum stabilizer codes☆15Oct 24, 2026Updated last week
- ☆14Mar 28, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆17Dec 12, 2025Updated 10 months ago
- A fast, flexible package for simulating the Quantum Alternating Operator Ansatz☆23Oct 30, 2025Updated last year
- Quantum circuit analysis toolkit☆97Oct 26, 2026Updated last week
- Combining quantum circuit cutting techniques with quantum variational optimization to solve large instances of Maximum Independent Set on…☆10Apr 6, 2023Updated 3 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Oct 27, 2026Updated last week
- ☆33Nov 11, 2024Updated last year
- ☆40Mar 5, 2025Updated last year
- ☆10Jul 13, 2022Updated 4 years ago
- Neural Network Decoders for Quantum Error Correcting Codes☆37Jan 17, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoreti…☆16Aug 1, 2026Updated 3 months ago
- ☆28Feb 7, 2022Updated 4 years ago
- A timeline debugger for the qiskit transpiler☆16Sep 23, 2024Updated 2 years ago
- Automorphism Ensemble Decoder for Quantum Stabilizer Codes☆23Mar 11, 2025Updated last year
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆27Jul 12, 2026Updated 3 months ago
- Program synthesis class taught by Loris D'Antoni☆40Oct 5, 2025Updated last year