Quantum
Quantum Development Kit
for error correction
Microsoft's tools that advance research and development in quantum error correction are now available to the broader quantum community.
Develop, test, and deploy
Validation
Verify stabilizer circuits early in the development process.
Debugging
Debug encoded quantum programs with confidence before they reach hardware.
Performance estimation
Benchmark logical failure rates, qubit counts, and circuit depth before committing to a hardware run.
QDK for error correction - binar
The high-speed binary math foundation that powers everything above it—portable, open-source, and built for deep quantum computing research.
QDK for error correction - paulimer
Full Pauli and Clifford algebra with state-of-the-art stabilizer simulation—fast enough to run on your laptop, powerful enough for cutting-edge research in quantum error correction.
QDK for error correction - errata
Your all-in-one workspace for quantum error correction—define, validate, decode, and run encoded quantum programs from a single, scalable framework.
Coming soon
The QDK for error correction is the product of years of research
Excising dead components from surface code
Excising dead components from surface code using minimally invasive alterations—preserving native operations, maximizing functional qubit recovery, and achieving state-of-the-art logical performance.
Fault tolerance of stabilizer channels
Stabilizer circuit verification
QDK foundation
The VS Code extension, Python packages, and GitHub Copilot integration provide the powerful core functionalities of the QDK.
QDK for chemistry
Use libraries to optimize quantum chemistry workflows with classical preprocessing, advanced circuit compression techniques, and chemistry-aware quantum algorithms.
