Audited open problems in quantum information theory, with recent progress and claim checks
☆20Oct 22, 2026Updated last week
Alternatives and similar repositories for quantum-open-problems
Users that are interested in quantum-open-problems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RepLAB - a toolbox for representation theory☆22Sep 2, 2023Updated 3 years ago
- NPA in Julia☆25Nov 19, 2025Updated 11 months ago
- Simple IIO FM Radio receive example☆16Updated this week
- Many-body objects for quantum computing: a Julia implementation☆12Jun 23, 2025Updated last year
- ☆18Aug 21, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Mar 2, 2025Updated last year
- Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches☆27Oct 1, 2026Updated last month
- ☆32Aug 3, 2026Updated 3 months ago
- Generating elegant project pages from markdown files, based on styling from tufte-css.☆15May 10, 2026Updated 5 months ago
- ☆10Mar 11, 2022Updated 4 years ago
- Lie algebraic analysis of quantum circuits.☆11Sep 16, 2026Updated last month
- Micropython driver for ssd1680 e-ink display☆11May 29, 2023Updated 3 years ago
- ☆12Jul 11, 2023Updated 3 years ago
- Skeletal repository for GNU Radio WBFM implementation on Pynq board☆13Jun 15, 2017Updated 9 years ago
- 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.
- All thing about SDRPi☆20Mar 17, 2023Updated 3 years ago
- Python wrapper for extracting information from Scirate☆13Jul 21, 2023Updated 3 years ago
- Improved exponent bounds for the exact discrete Fourier transform, building on OpenAI Math Problem #130.☆18Oct 13, 2026Updated 3 weeks ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆13Dec 11, 2021Updated 4 years ago
- Calculates bounds on the sofa moving problem☆14Sep 12, 2019Updated 7 years ago
- An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and And…☆13Sep 26, 2026Updated last month
- ☆13Nov 25, 2022Updated 3 years ago
- Mamo: a Mathematical Modeling Benchmark with Solvers☆16Jun 12, 2024Updated 2 years ago
- Teach yourself consistency by keeping a journal and writing one sentence per day in it.☆14Dec 30, 2017Updated 8 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.
- This repository introduces the coordinates of direction and passes of the Great Wall of China☆14Jul 1, 2022Updated 4 years ago
- ☆15Updated this week
- Riemannian geometry in JAX☆17May 14, 2025Updated last year
- Functions for simulatin quantum computing in GNU Octave and Matlab☆13Feb 22, 2022Updated 4 years ago
- Toolbox for quantum information, nonlocality, and entanglement☆38Oct 22, 2026Updated last week
- ☆30Jul 7, 2026Updated 3 months ago
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆27Updated this week
- Quantum information theory in Lean 4☆147Sep 10, 2026Updated last month
- An upcoming book on mathematical physics☆14Oct 30, 2018Updated 8 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.
- ☆24Jan 29, 2023Updated 3 years ago
- Personal Blog☆12Updated this week
- BrightEyes Time-tagging module: open-source hardware, a time to digital converter, multi channels, with a resolution of 30 ps designed fo…☆20Oct 30, 2023Updated 3 years ago
- Interface for approximate and exact equality☆12Apr 26, 2026Updated 6 months ago
- Computations in the monodromy polytope for quantum gate sets☆18Sep 10, 2026Updated last month
- An easy to follow ROS node that could be used to calculate direct kinematics i.e. the end effectors transformation matrix [4x4] for Frank…☆14Jun 28, 2021Updated 5 years ago
- Python scripts for randomized measurements☆13May 2, 2023Updated 3 years ago