KettleA type-safe quantum-classical language

Functional, statically typed, with linear types for quantum safety

Linear Types for Qubits

The type system ensures qubits are never cloned or leaked. Quantum safety is verified at compile time.

Effect Tracking

Quantum operations are tracked in the type system. Functions declare their effects, no hidden side effects.

Runs Anywhere

Simulate locally with the built-in backend or export to OpenQASM for real quantum hardware.

Quantum Teleportation in Kettle