Quantum Katas: Self-Paced Quantum Programming Exercises (Microsoft)

Microsoft’s Quantum Katas are a free collection of self-paced programming exercises for learning quantum computing through Q#. Unlike lecture-based courses, the katas are purely exercise-driven: you are given a task, you write the Q# code to solve it, and you get immediate automated feedback. The katas run directly in the browser through the Azure Quantum portal, with no installation required.

The kata format borrows from the martial arts tradition: small, focused challenges that build skill through repetition and progression. The collection spans beginner to advanced topics and represents hundreds of hours of potential practice material.

What you’ll learn

• Q# basics: operations, functions, qubits as a type, measurement, and the Q# type system for quantum programming
• Quantum gates in Q#: implementing X, H, CNOT, T, S, and multi-qubit gates as Q# operations, understanding their matrix representations
• Superposition: preparing specific superposition states, uniform superposition, and arbitrary single-qubit states using gate sequences
• Measurements: implementing measurement in different bases, distinguishing quantum states via measurement, and the connection between measurement operators and physical observables
• Multi-qubit gates and entanglement: CNOT, CCNOT (Toffoli), controlled operations in Q#, and preparing all four Bell states
• Quantum protocols: implementing quantum teleportation and superdense coding in Q# from scratch
• Quantum algorithms: Deutsch-Jozsa, Bernstein-Vazirani, Simon’s algorithm, phase estimation, the quantum Fourier transform, and Grover’s algorithm, each as a progressive series of katas
• Quantum error correction: repetition code, bit-flip code, phase-flip code, and the Shor code implemented in Q#

Course structure

The katas are organized into tracks: Qubit, Single-Qubit Gates, Multi-Qubit Systems, Measurements, Entanglement, Quantum Algorithms, and Quantum Error Correction. Within each track, exercises progress from trivial warm-ups to genuinely challenging problems.

Each kata presents a task description and a skeleton Q# operation to complete. The automated checker validates your solution and provides hints if you are stuck. Reference solutions are available after each kata.

Who is this for?

• Learners who prefer hands-on coding challenges over watching lectures or reading
• Q# developers who want systematic practice across the full range of quantum programming topics
• Anyone who has completed an introductory quantum computing course and wants to consolidate their understanding through programming
• Competitive programmers interested in quantum computing who enjoy the kata format

Prerequisites

Some familiarity with quantum computing concepts (superposition, entanglement, gates) is helpful for starting beyond the first track. Basic programming experience in any language is useful; Q# syntax is introduced gradually through the exercises. The first track (Qubit) assumes no prior quantum knowledge.

Hands-on practice

Every kata is a hands-on exercise. Representative examples include:

• Implement the Hadamard gate from scratch as a Q# operation and verify it creates superposition
• Prepare an arbitrary single-qubit state given the rotation angles
• Distinguish between two non-orthogonal quantum states using measurement
• Implement quantum teleportation: write the full protocol in Q# including classical communication and correction operations
• Build Grover’s oracle for a multi-qubit search problem
• Implement the quantum Fourier transform and verify it on test inputs
• Encode a logical qubit in the Shor code and implement the syndrome measurement

Why take this course?

The kata format is uniquely effective for building genuine programming skill. Reading about quantum gates is different from implementing them correctly in code with an automated checker verifying your result. The immediate feedback loop accelerates learning in a way that passive video consumption cannot.

Microsoft’s Quantum Katas cover more ground than most free courses, including a substantial quantum error correction track that is rare in freely available educational materials. The Q# language enforces correct quantum programming patterns at the type level, so working through the katas also builds good quantum programming habits.