package.md

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

Guppy FT can be installed from PyPI using pip. Requires Python>=3.12.

pip install guppyft

Licence

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