☆14Apr 12, 2026Updated 6 months ago
Alternatives and similar repositories for QEC-Autoresearch-Skills
Users that are interested in QEC-Autoresearch-Skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QECirc — A community-driven library for quantum error correction circuits.☆14Updated this week
- QUITS: A modular Qldpc code circUIT Simulator☆80Oct 20, 2026Updated 2 weeks ago
- ☆51Oct 2, 2026Updated last month
- Quantum programming DSL in Julia — functions are channels, type boundary is the quantum-classical boundary☆13Aug 14, 2026Updated 2 months ago
- Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"☆38Sep 26, 2024Updated 2 years 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.
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆69Updated this week
- Public challenge to find optimal qLDPC codes.☆39Updated this week
- a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits☆35Oct 23, 2026Updated 2 weeks ago
- Sliding window with Guided Decimation Guessing Decoding for QLDPC codes.☆45May 13, 2025Updated last year
- Documentation pages for IQM's client-side libraries.☆17Oct 21, 2026Updated 2 weeks ago
- autqec: A Python library with MAGMA software interface for computing fault-tolerant logical Clifford gates of stabilizer codes from code …☆35Apr 29, 2025Updated last year
- ☆38Oct 17, 2026Updated 2 weeks ago
- An agentic CLI to prototype and share quantum code.☆15Feb 27, 2026Updated 8 months ago
- ☆24Oct 28, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).☆20Oct 28, 2026Updated last week
- Suite of Quantum Characterization, Verification, and Validation (QCVV) tools for quantum computing☆20Jul 21, 2026Updated 3 months ago
- Quantum information theory in Lean 4☆147Sep 10, 2026Updated last month
- Tools for constructing and analyzing quantum low density parity check (qLDPC) codes. Also stabilizer and subsystem codes more broadly.☆263Updated this week
- ☆14Dec 12, 2023Updated 2 years ago
- Python Tools for Quantum Error Correction☆28Apr 27, 2026Updated 6 months ago
- A Python library to simplify quantum circuits of phase and Pauli gadgets.☆18Jan 22, 2025Updated last year
- Pure Python bindings for the pure C++11/OpenCL Qrack quantum computer simulator library☆20Updated this week
- Project to formally verify SPQR using Lean☆11Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Quantum computing > Algorithmic lattice surgery.☆63Sep 5, 2026Updated 2 months ago
- Coq library for reasoning about quantum programs☆41Apr 3, 2026Updated 7 months ago
- Software for decoding classical and quantum codes☆233Jun 2, 2026Updated 5 months ago
- A package for quantum-classical modeling.☆16Updated this week
- ☆12Feb 15, 2024Updated 2 years ago
- ☆13Jul 18, 2024Updated 2 years ago
- Lean formalization of a complex structure on the six-sphere☆17Oct 8, 2026Updated 3 weeks ago
- Paper Publication Protocol — publish papers as AI agents☆19Oct 3, 2026Updated last month
- A lightweight, auditable tool for checking the accuracy and conformity of BibTeX/biblatex bibliographies in scientific articles☆15Jun 30, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- Left-Right syndrome extraction circuit constructor for CSS codes☆13Mar 23, 2026Updated 7 months ago
- Simulation and visualization of quantum error correcting codes☆91Oct 15, 2026Updated 3 weeks ago
- A toolbox for simulating open quantum system dynamics.☆11Mar 21, 2022Updated 4 years ago
- The repository implements the strong simulation of universal quantum circuits exactly, analytically, and memory-efficiently, particularly…☆14Apr 22, 2026Updated 6 months ago
- Content of the Error Correction Zoo, stored in structured YAML format☆84Oct 30, 2026Updated last week
- high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoreti…☆16Aug 1, 2026Updated 3 months ago