Optimization bugs found in popular quantum computing SDKs due to poor numerical handling
☆12Oct 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for quantum-optimizer-bugs
Users that are interested in quantum-optimizer-bugs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jan 30, 2024Updated 2 years ago
- A very fast and scalable quantum circuit optimizer☆52Updated this week
- high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoreti…☆15Aug 1, 2026Updated 2 months ago
- Toolkit for Creating WebSocket API Gateways☆11Oct 19, 2026Updated last week
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- 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.
- Formalization project on Quantum Error Correction in Lean☆46Oct 24, 2026Updated last week
- Gated quantum dot device generator creating Gmsh mesh files from GDS layouts.☆11Dec 3, 2024Updated last year
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆17Dec 12, 2025Updated 10 months ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Oct 9, 2026Updated 3 weeks ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- Benchmark quantum circuits before and after optimization.☆29Mar 1, 2018Updated 8 years ago
- Quirk-E is an extended version of the Quirk quantum circuit simulator. It has been developed as part of the DEQSE project at the Universi…☆15Oct 28, 2025Updated last year
- VQE on photonic quantum devices☆19Oct 1, 2026Updated 3 weeks ago
- Quantum computing simulator for OpenQASM☆18Updated 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.
- Webpage creating BibTeX, HTML and Wiki markup for papers on the arXiv.☆13Jul 22, 2026Updated 3 months ago
- Benchmarks for UCC and other quantum compilers☆16Sep 28, 2026Updated last month
- Pure Python bindings for the pure C++11/OpenCL Qrack quantum computer simulator library☆20Updated this week
- Python interface for the Quantum Exact Simulation Toolkit (QuEST)☆20Oct 29, 2025Updated last year
- python-to-triton-llm☆10Aug 25, 2025Updated last year
- Modern C++, Linux systems programming, concurrency, networking, performance engineering, and low level architecture explorations.☆22Oct 13, 2026Updated 2 weeks ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- ☆30Updated this week
- Cring is a lightweight and efficient event loop library written in pure C utilizing io-uring☆20Jan 25, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- MQT QMAP - A Tool for Quantum Circuit Mapping☆144Updated this week
- WebSocket CLI client with advanced features for testing and debugging☆16Oct 12, 2026Updated 2 weeks ago
- A python-to-quantum compiler☆74Jan 3, 2026Updated 9 months ago
- A python library for the fully homomorphic encryption scheme ACES☆16Feb 14, 2025Updated last year
- the circuit eDSLs of bloqade☆20Updated this week
- A python interface to the QuEST quantum simulator (cffi based)☆20Feb 2, 2024Updated 2 years ago
- pytket-qiskit, extensions for pytket quantum SDK☆22Oct 15, 2026Updated 2 weeks ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- 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.
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Firmware extractor for CH55x microprocessors☆12Dec 18, 2025Updated 10 months ago
- Source-available SystemVerilog RTL for a custom FPGA Ethernet datapath with ARP, IPv4, UDP, and specialized TCP transport control.☆42Jul 30, 2026Updated 3 months ago
- PCB design for the initial prototype of OBC hardware, to interface with LaunchPad.☆10Sep 19, 2018Updated 8 years ago
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated last year
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- KitsuneC2 is a cross-platform adversary emulation tool written in Go.☆13Oct 25, 2024Updated 2 years ago