Demos
Most software is described in a pitch. These run. Each one computes real work live in your browser, written in Coherence Language and compiled to WebAssembly and your GPU, and proven to agree to the last bit. Nothing is pre-recorded. Open one and reach in.
The language, running live
Coherence Language is the company's own programming language. Here it compiles, in your browser, to the GPU, to JavaScript, to WebAssembly, and even to itself, and proves the results match.
The Babel Engine
One function in Coherence Language, compiled to a GPU shader, JavaScript, and WebAssembly at once, then measured live as they agree: to double precision on the CPU and to the single-precision floor on the GPU. Drag a slider and watch.
Self-Hosting Compiler
Edit a .cl equation. A compiler written in Coherence Language, running as WebAssembly, recompiles a million-cell field to a GPU shader live, right in your browser.
Program Your Webcam
Write a per-pixel image kernel in .cl. It compiles to a WebGPU shader in your browser and runs on your camera, with a live receipt that your CPU and GPU computed the same thing.
Where Floats Drift
The same .cl source on your CPU (double precision) and GPU (single precision), measuring exactly how far floating point drifts, the reason reproducible results use exact integers instead.
Verify it yourself, from the measure up
Start by computing coherence energy itself, the number the company is named for, live in your browser. Then the lab builds a coherence-native model whose every decision you can verify yourself, in your browser, three ways: re-run it bit for bit, check a zero-knowledge proof that hides the input, or audit its signature. The same trust layer wraps a commodity model too, so any decision becomes reproducible, private, and auditable. No server, and nothing you have to take on trust.
Measure Coherence Energy
The number the company is named for, computed live in your browser: the real coherence-energy functional (a per-world information distance priced in energy), and its exact reduction to the Landauer bound for a definite decision. Move the sliders and check it against the reference yourself.
The Prover Advantage
Coherence's fixed-point-native proof gate needs about half the constraints of a generic field prover for the same computation, because operand bounds are a compile-time language invariant, not an in-circuit range check. Compute the exact head-to-head yourself and watch the ~1.94x, with the saving shown to be load-bearing for soundness, not a corner cut.
Prove It Three Ways
Our 96.8% CIFAR-10 coherence model decides on an image, and you prove that decision three ways live in your browser: re-run it bit for bit, verify a zero-knowledge proof that hides the features, and check an Ed25519-signed credential. Accurate and provable, on a real model.
Re-run the Whole Model
Most verifiable AI re-runs a tiny last step and fingerprints the rest. Here your browser re-runs the entire image model, every convolution, in deterministic integer arithmetic and lands on the lab's exact decision bit for bit, then checks an Ed25519 credential that signs the whole model. No fingerprinted extractor, no trusted black box.
Run Our Coherence Model
Our coherence-native model reads a handwritten digit, and your browser re-runs its decision in integer arithmetic, bit for bit, the same answer as the lab's CPU, native, and GPU engines, then verifies its Ed25519 signature. Forge the result and watch the proof catch it.
Verify a Decision Yourself
The same trust layer around a commodity model: a real credit model's decision, re-run bit for bit by an integer forest in your browser and checked against its Ed25519 signature. Move the sliders to decide for anyone, then try to forge the result and watch the proof catch it.
Live on your GPU
Fields you program in Coherence Language, evolving live on your GPU, plus a coherence-routing idea you can see for yourself. All compiled in the browser, nothing pre-recorded.
The Coherence Field
A field you program in Coherence Language, evolving as a live simulation and computed bit-exact on your CPU.
The Coherence Forge
A 1,048,576-cell field evolving in real time on your GPU, sculpted with your mouse, programmed in .cl.
Coherence Volume
A 3D field you program in .cl, raymarched live on your GPU.
Coherence Routing
A path that follows coherence: cost-shaping rather than shortest-line routing, like a flight that rides the winds instead of the straight line.
Next