Packages 66
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 3 years ago- published 1.0.0 3 years ago
A port of Coq to JavaScript -- run Coq in your browser
published 0.11.0-rc2 2 years agoOCaml runtime compiled to WebAssembly (wasi-sdk-12)
published 4.12.0-0 a year agoOCaml standard library + ocaml + ocamlc (byte)
published 4.7.2 2 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.8.1-1 2 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.9.2 2 years agoOCaml standard library + ocaml + ocamlc (byte)
published 4.10.1-rc1 2 years agoExtract Zip files to physical folder or memfs (Node.js & browser)
published 3.4.0-0 2 years agoThe legacy Num library for arbitrary-precision integer and rational arithmetic (WASM port)
published 1.4.0 2 years agoSoftware Foundations (Mar 2021, LF+PLF) for jsCoq
published 0.15.1 12 days agoA POSIX-like runtime environment on top of Wasmer-JS
published 0.1.6 8 months agoWASM Binaries of the Coq Proof Assistant (for jsCoq)
published 0.15.1 12 days ago