Binary Decision Diagrams in the browser via WebAssembly (single-threaded, no SharedArrayBuffer required). Source on GitHub.
See also: iota, a typed symbolic-programming layer on top.