Guppy FT

Guppy FT is an extension of the Guppy quantum programming language to aid with writing, compiling and running fault-tolerant quantum programs. As a toolkit, it provides:

• a framework to define QEC architectures;
• transformations through quantum program abstraction layers, from computational to logical to physical;
• verification tools to validate QEC primitive implementations.

Together, these enable automatic encoding of arbitrary Guppy programs, including measurement dependent control flow.

from guppylang import guppy
from guppylang.std.builtins import owned, output
from guppylang.std.quantum import cx, h, measure, qubit, x, z
from guppyft.code.steane.encode import SteaneBuilder


@guppy
def teleport() -> None:
    """Teleports the state in `src` to `tgt`."""
    src = qubit()

    tmp = qubit()
    tgt = qubit()
    h(tmp)
    cx(tmp, tgt)

    cx(src, tmp)
    h(src)
    if measure(src).read():
        z(tgt)
    if measure(tmp).read():
        x(tgt)

    output("tgt", measure(tgt).read())


# Use Steane architecture to encode the program
steane = SteaneBuilder().build(n_blocks=3)
teleport_encoded = steane.encode(teleport.compile())

Documentation

📖 Getting Started

📒 Example notebooks

Installation

Set up a virtual environment and install dependencies using:

uv sync

Development

See DEVELOPMENT.md for instructions on setting up the development environment.

Licence

This project is licensed under Apache License, Version 2.0 (LICENCE or http://www.apache.org/licenses/LICENSE-2.0).