QRL is a relations-first quantum programming language with a type-level soundness result no existing quantum language can state. Bell puts it in front of anyone — plain English in, real QRL code executed, real numbers out. Both are open research I work on in my own time, built with Froe, an open-source coding agent.
Three pieces, one practice: describe the physics precisely, make it usable by someone who isn't its author, and build it all with a tool that respects where the code and the data are allowed to live.
Causal structure as a type-level primitive. A program that type-checks as Switch(d)
is provably causally nonseparable — a result no existing quantum programming language can state.
Plain English in, real QRL code executed, real numbers out — not the model guessing a number. Provider-swappable: running on Mistral (EU-hosted) today, a self-hosted fine-tune in standby.
A local-first coding agent in Go. Source never has to leave the machine, the LAN, or the EU. A single static binary for the terminal and Neovim, used to build QRL and Bell.
QRL implements five foundational papers — process matrices (Oreshkov 2012), causal nonseparability witnesses (Araújo 2015), quantum causal models (Allen 2017), loophole-free Bell tests (Hensen 2015), and categorical quantum mechanics (Coecke & Kissinger 2017) — with a full compiler pipeline from relations to MBQC measurement patterns across four backends (Perceval, PennyLane, graphix, Qiskit), hardware-verified on Quandela's qpu:belenos photonic QPU (S = 2.61 ± 0.08).