☆31Aug 27, 2026Updated 2 months ago
Alternatives and similar repositories for wisq
Users that are interested in wisq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization project on Quantum Error Correction in Lean☆46Updated this week
- ☆17Jan 30, 2024Updated 2 years ago
- A very fast and scalable quantum circuit optimizer☆51Updated this week
- ☆13Aug 27, 2026Updated 2 months ago
- ☆19Jun 6, 2026Updated 4 months 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.
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoreti…☆15Aug 1, 2026Updated 2 months ago
- Interactively draw pipe diagrams for lattice surgery.☆25Oct 22, 2026Updated last week
- Exact and approximate synthesis of single qubit circuits using Clifford and T gate library.☆27Jul 17, 2019Updated 7 years ago
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆12Sep 4, 2024Updated 2 years ago
- Rust implementation of quantum circuit optimization algorithms☆13Jun 15, 2026Updated 4 months ago
- GPU-accelerated compilation of detector error models☆21Sep 17, 2026Updated last month
- Code for simulations and plots for the paper "How to factor 2048 bit RSA integers with less than a million noisy qubits"☆22Apr 23, 2026Updated 6 months ago
- Quantum computing without the linear algebra☆84Dec 7, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)☆21Sep 5, 2023Updated 3 years ago
- Distance of quantum and classical codes, and quantum circuits☆25May 28, 2026Updated 5 months ago
- ☆24Updated this week
- Java-like Language with Static Information Flow Types☆16May 5, 2025Updated last year
- Python version gridsynth program computes approximations of Z-rotations over the Clifford+T gate set☆35Jan 9, 2026Updated 9 months ago
- Lattice surgery quantum error correction compiler☆92Oct 19, 2026Updated last week
- QUITS: A modular Qldpc code circUIT Simulator☆80Oct 20, 2026Updated last week
- Optimisation of Clifford Circuits☆13Aug 12, 2026Updated 2 months ago
- A C++ Library implementing some tools for the Lattice Surgery Compiler☆36Sep 23, 2026Updated last month
- 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.
- Public release of stabilizer TN publication☆16Jul 15, 2026Updated 3 months ago
- A coding theory library for Julia.☆42Sep 14, 2026Updated last month
- A compiler prototype targeting a bicycle architecture from PBC circuits☆43Oct 13, 2026Updated 2 weeks ago
- Debugger written in Rust☆24Jul 8, 2022Updated 4 years ago
- Hardware-tailored logical circuits for quantum stabilizer codes☆15Updated this week
- A decoding algorithm for quantum error correcting codes.☆20May 18, 2026Updated 5 months ago
- ☆24Dec 12, 2025Updated 10 months ago
- ☆17Jul 6, 2026Updated 3 months ago
- Automorphism Ensemble Decoder for Quantum Stabilizer Codes☆23Mar 11, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Software for exploring, developing, and evaluating quantum error-correction protocols.☆62Updated this week
- 例示・並列・対表現の「〜たり〜たりする」をチェックするtextlintルール☆11Apr 10, 2026Updated 6 months ago
- Static Program Analysis for Reliable Trusted Apps☆24Nov 29, 2018Updated 7 years ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 6 months ago
- Code for the paper "Relaxing Hardware Requirements for Surface Code Circuits using Time-dynamics"☆12Feb 5, 2023Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- ZM - a handy mathematics library☆16Aug 26, 2026Updated 2 months ago