☆30Apr 24, 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☆38Updated this week
- ☆17Jan 30, 2024Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆16Dec 12, 2025Updated 7 months ago
- 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 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Java-like Language with Static Information Flow Types☆14May 5, 2025Updated last year
- ☆19Jun 6, 2026Updated last month
- 🔬 Python Scripts for applications in Natural Sciences (Physics, Biology, Chemistry). Updating on a regular basis.☆11Feb 6, 2021Updated 5 years ago
- Lattice surgery quantum error correction compiler☆88Jul 13, 2026Updated last week
- Python version gridsynth program computes approximations of Z-rotations over the Clifford+T gate set☆31Jan 9, 2026Updated 6 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
- Static Program Analysis for Reliable Trusted Apps☆23Nov 29, 2018Updated 7 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.
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Rotation gate synthesis for early fault-tolerant quantum computing☆17Apr 27, 2026Updated 2 months ago
- Quration: Quantum Resource Estimation Toolchain☆37Updated this week
- ☆14Apr 24, 2025Updated last year
- ☆52Updated this week
- Quantum computing without the linear algebra☆83Dec 7, 2025Updated 7 months ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 2 months ago
- Virtual block devices on Linux☆20Jan 2, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/type-inference☆27Jan 22, 2019Updated 7 years ago
- 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.
- Riverlane's quantum error correction SDK☆60Updated this week
- Design automation software tools for Topological Quantum Error Correction☆377Updated this week
- ☆28Feb 7, 2022Updated 4 years ago
- Program synthesis class taught by Loris D'Antoni☆40Oct 5, 2025Updated 9 months ago
- ☆11Sep 16, 2019Updated 6 years ago
- ☆18Aug 7, 2024Updated last year
- Distributed QC for Qiskit☆16Jan 18, 2024Updated 2 years ago
- Package for computing the Atos Q-score.☆17Mar 31, 2023Updated 3 years ago
- A distributed key-value cache with builtin materialized views.☆26Nov 14, 2014Updated 11 years ago
- 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.
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- ChatGPT in command line☆12Mar 17, 2023Updated 3 years ago
- Architecture-level resource estimator☆16Updated this week
- This repo refers to paper Invariant Transform Experience Replay. And this repo is built on top of OpenAI Baseline. For more information p…☆12Feb 2, 2021Updated 5 years ago
- Python software development kit for writing quantum computing experiments, programs, and applications☆11Jan 29, 2024Updated 2 years ago
- QUITS: A modular Qldpc code circUIT Simulator☆61Jul 6, 2026Updated 2 weeks ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 2 months ago