☆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:
- ☆30Aug 27, 2026Updated last week
- Qubit Mapping for NISQ-Era Quantum Devices☆20Jun 12, 2020Updated 6 years ago
- Formalization project on Quantum Error Correction in Lean☆40Updated this week
- Rotation gate synthesis for early fault-tolerant quantum computing☆17Apr 27, 2026Updated 4 months ago
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆12Sep 4, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- QNim game is quantum version of classical Nim game. In QNim game, human/classical computer will play against quantum computer. Developed …☆12Sep 5, 2024Updated last year
- demo on simple channel router☆13Jan 3, 2019Updated 7 years ago
- ☆13Jul 18, 2024Updated 2 years ago
- A C++ Library implementing some tools for the Lattice Surgery Compiler☆33Jul 31, 2026Updated last month
- Non-Markovian stochastic SPIn (and harmonic oscillator) DYnamics.☆16Oct 1, 2024Updated last year
- Tools for quantum circuits synthesis, optimization and others.☆27Jun 29, 2026Updated 2 months ago
- ☆13Mar 28, 2024Updated 2 years ago
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆16Dec 12, 2025Updated 8 months ago
- MQT Bench - A Tool for Benchmarking Quantum Software Tools☆127Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Hardware-tailored logical circuits for quantum stabilizer codes☆15Aug 25, 2026Updated last week
- A fast, flexible package for simulating the Quantum Alternating Operator Ansatz☆22Oct 30, 2025Updated 10 months ago
- Quantum circuit analysis toolkit☆96Aug 20, 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
- Partial evaluation of Python code☆22Mar 2, 2023Updated 3 years ago
- Neural Network Decoders for Quantum Error Correcting Codes☆37Jan 17, 2018Updated 8 years ago
- Automorphism Ensemble Decoder for Quantum Stabilizer Codes☆23Mar 11, 2025Updated last year
- Pyecm factors large integers (up to 50 digits) using the Elliptic Curve Method (ECM), a fast factoring algorithm.☆22Jan 17, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆10Jul 13, 2022Updated 4 years ago
- high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoreti…☆15Aug 1, 2026Updated last month
- A timeline debugger for the qiskit transpiler☆16Sep 23, 2024Updated last year
- A toolbox for simulating open quantum system dynamics.☆11Mar 21, 2022Updated 4 years ago
- ☆28Feb 7, 2022Updated 4 years ago
- Program synthesis class taught by Loris D'Antoni☆40Oct 5, 2025Updated 10 months ago
- Qiskit quantum error correction framework☆122Jan 27, 2025Updated last year
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆26Jul 12, 2026Updated last month
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆15Jul 26, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- nthu-route 2.11☆14Aug 5, 2019Updated 7 years ago
- ☆18Nov 4, 2025Updated 9 months ago
- ☆19Apr 2, 2024Updated 2 years ago
- Benchmark Generator for Global Routing☆13Jul 18, 2019Updated 7 years ago
- ☆17Nov 11, 2021Updated 4 years ago
- ☆37Sep 12, 2025Updated 11 months ago
- ☆12Jan 21, 2025Updated last year