☆15Nov 3, 2026Updated this week
Alternatives and similar repositories for Lean-QEC
Users that are interested in Lean-QEC 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☆48Updated this week
- Left-Right syndrome extraction circuit constructor for CSS codes☆13Mar 23, 2026Updated 7 months ago
- Implementation of stabilizer codes in pyQuil☆11Jan 29, 2020Updated 6 years ago
- ☆69Updated this week
- Public challenge to find optimal qLDPC codes.☆39Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Python implementation of some standard Stim error correction circuits☆15Apr 12, 2023Updated 3 years ago
- Collection of SAT-based synthesis methods for Qiskit☆12Updated this week
- Issue tracking repository for TeXRA.ai (TeX Research Assistant) - Submit bugs, feature requests, and feedback here.☆13Apr 10, 2025Updated last year
- Examples for running TeNPy☆16Jul 22, 2026Updated 3 months ago
- ☆22Updated this week
- ☆30Updated this week
- AI tools for Physlib☆13Aug 12, 2026Updated 2 months ago
- An implementation of Google's Pauli+ simulator☆26Aug 18, 2026Updated 2 months ago
- Prepare consistent BibTeX files for your LaTeX documents☆12Apr 6, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Sliding window with Guided Decimation Guessing Decoding for QLDPC codes.☆45May 13, 2025Updated last year
- ☆14Apr 12, 2026Updated 6 months ago
- CFD simulations using Tensor Network encoding.☆15Jul 9, 2025Updated last year
- Automatic computation of detectors in a topologically quantum error corrected computation☆21Updated this week
- Unofficial beamer template for Pitt (University of Pittsburgh)☆11Mar 11, 2017Updated 9 years ago
- Project exploring the compilation ability of the XX+YY gate.☆10Aug 7, 2024Updated 2 years ago
- ☆13Jul 18, 2024Updated 2 years ago
- Quantum Circuit Learning☆15Nov 26, 2018Updated 7 years ago
- TransitionListener is a python code for computing the gravitational wave background produced in cosmological phase transitions.☆14Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Adaptive-depth GNN and graph transformer decoders for quantum error correction codes by local message passing on the Tanner graph.☆11Apr 13, 2026Updated 6 months ago
- A VSCode extension for viewing performance profiles.☆12Jul 27, 2026Updated 3 months ago
- MATLAB codes for the 2018 arXiv paper discussing synthesis of logical Clifford operators for stabilizer codes.☆18Aug 24, 2025Updated last year
- The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).☆20Oct 28, 2026Updated last week
- Classical Carleman solution of the viscous Burgers equation, used in https://arxiv.org/abs/2011.03185.☆12Mar 1, 2021Updated 5 years ago
- ☆24Updated this week
- Stim wrapper for simulations of surface code experiments☆12Jun 17, 2026Updated 4 months ago
- Quantum information theory in Lean 4☆147Sep 10, 2026Updated last month
- The world's first (and hopefully last) pure-bash implementation of the LLL algorithm☆19Aug 21, 2023Updated 3 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.
- 計算物理春の学校2026の共通講義「計算物理屋のためのGit/GitHub入門」☆16Mar 10, 2026Updated 7 months ago
- Machine Learning Decoding of Bivariate Bicycle Codes☆11May 8, 2025Updated last year
- A Quantum Computing Library in LEAN☆28Jul 14, 2026Updated 3 months ago
- A realtime subtitle client based on Soniox API or Gemini Live translation API with optional LLM translation refinement☆23Updated this week
- Development branch of qulacs at Osaka Univ☆13Dec 26, 2022Updated 3 years ago
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆27Jul 12, 2026Updated 3 months ago
- An open protocol for distributed multi-agent autoformalization.☆118Oct 18, 2026Updated 3 weeks ago