Hardware design and modeling
Entanglement distillation
Modular computation
Network control protocols (CQN)
Silly ML decoders before they were cool
Bosonic ECC
Single-shot Stabilizer Codes


Core contributor to SymPy;
drive-by PRs to the rest of the ecosystem;
Jupyter used to be just an ipython plugin
Multiplying two 1 gigaqubit Paulis in 32 ms.
GPU acceleration, Pauli Frames, the usual
As an "algebra" tool: random states, gate enumeration, canonicalization, partial traces, projections, group theory tool...
As a "circuit simulation" tool: Monte Carlo, Pauli frames, and perturbative expansions.
Dict{CircuitStatus, Num} with 3 entries:
failure => 4e*((1 - 3e)^3)
false_success => 6e*((1 - 3e)^3)
true_success => (1 - 3e)^4 + 2e*((1 - 3e)^3)
Various weakly non-Clifford methods:


Being deployed for the virtual testbeds at NSF's CQN (ERC) and AspenNet (NQVL).
julia> Z₁
|Z₁⟩
julia> ( Z₁⊗X₂+Y₁⊗Y₁ ) / √2
0.707 (|Y₁⟩|Y₁⟩+|Z₁⟩|X₂⟩)
julia> express( ( Z₁⊗X₂+Y₁⊗Y₁ ) / √2 )
Ket(dim=4)
basis: [Spin(1/2) ⊗ Spin(1/2)]
0.8535533905932736 + 0.0im
0.0 + 0.3535533905932737im
-0.49999999999999994 + 0.3535533905932737im
-0.3535533905932737 + 0.0im
julia> express( Y₁⊗Y₂, CliffordRepr() )
Rank 2 stabilizer
+ Z_
+ _Z
════
+ Y_
- _Y
════
With `express` interfaces into (and between)
And other tools we support