Linden Viz

An interactive visualizer for Linden's backtracking-tree semantics for JavaScript regexes.

https://lin.den.re/viz/

Dependencies

opam repo add rocq-released https://rocq-prover.org/opam/released
opam install . --deps-only

Local build

npm install --prefix webapp
dune build --profile release @webapp/bundle # ⇒ _build/default/webapp/dist/
./webapp/serve.sh # ⇒ http://localhost:8000