Demos

Live in the browser, powered by WebAssembly. No server, no installs.

Dart

Doxa Proof Checker

A dependently typed proof checker for the Calculus of Inductive Constructions. Rumil parses the source; the kernel is Doxa's own. Compiled to WebAssembly, it runs entirely in the browser with no server, in about 76KB.

Launch
Dart

Lambë Playground

Query JSON, YAML, TOML, and HCL interactively. Full REPL with tab completion, history, and colorized output. 428KB of WASM.

Launch
Dart

Markdown Editor

Type CommonMark and see it rendered in real time. 652/652 spec conformance. Formatting toolbar, presets, share via URL. 232KB of WASM.

Launch