This addon provides a completion hint for CodeMirror which allows to use the backslash key `\` to compose Unicode characters in TeX style.
published 1.0.0 5 years agoA port of Coq to JavaScript -- run Coq in your browser
published 0.17.1 7 months ago- published 1.0.0 5 years ago
A port of Coq to JavaScript -- run Coq in your browser
published 0.11.0-rc2 4 years agoOCaml runtime compiled to WebAssembly (wasi-sdk-12)
published 4.12.0-0 3 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.7.2 4 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.8.1-1 4 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.9.2 4 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.10.1-rc1 4 years agoExtract Zip files to physical folder or memfs (Node.js & browser)
published 3.4.0-0 4 years agoThe legacy Num library for arbitrary-precision integer and rational arithmetic (WASM port)
published 1.4.0 4 years agoSoftware Foundations (Mar 2021, LF+PLF) for jsCoq
published 0.17.1 7 months agoA POSIX-like runtime environment on top of Wasmer-JS
published 0.1.6 3 years agoWASM Binaries of the Coq Proof Assistant (for jsCoq)
published 0.16.0 2 years ago