guppyft

Tools for building runnable, fault-tolerant programs from Guppy.

code	QEC architectures and utilities.
code_def	Abstractions for code definitions.
decompose	Decomposition passes used for encoding computational programs.
encode	Abstractions for constructing QEC architectures.
extensions	HUGR extension definitions for QEC codes.
globals	Methods for handling global state.
std	Standard types and operations shared between QEC architectures.
verify	Functions to verify correctness of logical Clifford gadgets with tableaux comparison.