☆30Aug 27, 2026Updated 3 weeks 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☆42Updated this week
- 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 last month
- Code for simulations and plots for the paper "How to factor 2048 bit RSA integers with less than a million noisy qubits"☆20Apr 23, 2026Updated 4 months ago
- Lattice surgery quantum error correction compiler☆90Aug 31, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python version gridsynth program computes approximations of Z-rotations over the Clifford+T gate set☆35Jan 9, 2026Updated 8 months ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Orthant-Wise Limited-memory Quasi-Newton Optimizer for L1-regularized Objectives☆10Mar 9, 2014Updated 12 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- ☆13Aug 27, 2026Updated 3 weeks ago
- ☆14Apr 24, 2025Updated last year
- Directed graph with first-level ports in Rust.☆17Sep 7, 2026Updated last week
- Virtual block devices on Linux☆20Jan 2, 2020Updated 6 years ago
- Riverlane's quantum error correction SDK☆77Sep 9, 2026Updated last week
- 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.