tqec/tqec

What it solves

It automates the design and compilation of large-scale, fault-tolerant quantum computations. Manually encoding the complex circuits required for surface code and lattice surgery is error-prone and labor-intensive, which often prevents complex logical computations from being practically simulated.

How it works

The software provides a library of verified building blocks based on state-of-the-art protocols. Users can construct logical computations by combining these blocks—sometimes using 3D modeling tools like SketchUp to create files in Collada format—which the tool then compiles into the Stim circuit format for simulation.

Who it’s for

Researchers and developers working in quantum computing, specifically those focusing on topological quantum error correction (TQEC) and fault-tolerant quantum architectures.

Highlights

• Supports surface code and lattice surgery protocols.
• Converts 3D Collada (.dae) files into Stim circuits.
• Includes a variety of verified circuit building blocks to ensure correctness.
• Allows for the application of custom noise models during circuit generation.