Dyad Prism

Dyad in any browser, 100 percent serverless, as one PrismPM module: a Lean verified model projected to wasm, Dyad's renderer as its adapter, a service worker as the kernel

Description excerpted from the original listing, which is linked below.