☆29Mar 13, 2026Updated last week
Alternatives and similar repositories for wisq
Users that are interested in wisq are comparing it to the libraries listed below
Sorting:
- ☆17Jan 30, 2024Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 8 months ago
- Code for simulations and plots for the paper "How to factor 2048 bit RSA integers with less than a million noisy qubits"☆19Feb 21, 2026Updated 3 weeks ago
- Python version gridsynth program computes approximations of Z-rotations over the Clifford+T gate set☆27Jan 9, 2026Updated 2 months ago
- Gate synthesis for early fault-tolerant quantum computing☆14Mar 6, 2026Updated 2 weeks ago
- Java-like Language with Static Information Flow Types☆13May 5, 2025Updated 10 months ago
- Python package that generates QSP/GQSP phase factors using Non-Linear Fourier Analysis☆16Feb 20, 2026Updated 3 weeks ago
- Lattice surgery quantum error correction compiler☆83Mar 9, 2026Updated last week
- Quantum computing without the linear algebra☆78Dec 7, 2025Updated 3 months ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- QUITS: A modular Qldpc code circUIT Simulator☆53Mar 4, 2026Updated 2 weeks ago
- An implementation of Google's Pauli+ simulator☆21Aug 14, 2025Updated 7 months ago
- ☆11Apr 24, 2025Updated 10 months ago
- Universal quantum circuit sampler based on ZX stabilizer rank decomposition☆36Updated this week
- QIsim: Architecting 10+K Qubit QC Interfaces Toward Quantum Supremacy, ISCA'23☆19Jun 27, 2023Updated 2 years ago
- Public release of stabilizer TN publication☆14Mar 12, 2026Updated last week
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆24Oct 21, 2024Updated last year
- Virtual block devices on Linux☆19Jan 2, 2020Updated 6 years ago
- ☆26Feb 7, 2022Updated 4 years ago
- Package for computing the Atos Q-score.☆16Mar 31, 2023Updated 2 years ago
- Distributed QC for Qiskit☆14Jan 18, 2024Updated 2 years ago
- ☆17Aug 7, 2024Updated last year
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- Python software development kit for writing quantum computing experiments, programs, and applications☆11Jan 29, 2024Updated 2 years ago
- ☆47Feb 22, 2024Updated 2 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated 11 months ago
- Quantum Accelerated Genome Sequencing☆11Sep 7, 2021Updated 4 years ago
- QPIXL++ - Quantum Image Pixel Library☆20Oct 4, 2025Updated 5 months ago
- Debugger written in Rust☆24Jul 8, 2022Updated 3 years ago
- r2con 2020 CTF kernel challenge☆12Sep 13, 2020Updated 5 years ago
- Development repository for NISQAI.☆15Feb 1, 2020Updated 6 years ago
- a list of StrongAI related resources.☆11Mar 26, 2023Updated 2 years ago
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 5 years ago
- Exact and approximate synthesis of single qubit circuits using Clifford and T gate library.☆25Jul 17, 2019Updated 6 years ago
- Berkeley Quantum Synthesis Toolkit☆168Mar 5, 2026Updated 2 weeks ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 2 years ago
- Source for The Tensor Network open-source review article☆180Jan 27, 2026Updated last month