Skip to content
Snippets Groups Projects
package.json 2.65 KiB
Newer Older
  "version": "0.17.0",
  "description": "A port of Coq to JavaScript -- run Coq in your browser",
  "main": "frontend/classic/js/index.js",
    "stream": "stream-browserify",
    "tty": false,
    "url": false,
    "worker_threads": false,
    "fs": false,
    "crypto": false
Shachar Itzhaky's avatar
Shachar Itzhaky committed
  "bin": {
    "jscoq": "./dist-cli/cli.cjs",
    "jscoqdoc": "frontend/classic/js/jscoqdoc.cjs"
Shachar Itzhaky's avatar
Shachar Itzhaky committed
  },
  "devDependencies": {
    "frontend",
    "backend/*.js",
    "backend/*.ts",
    "backend/jsoo/*.bc.cjs",
    "backend/wasm/*.wasm",
    "examples",
    "jscoq.js",
    "esbuild": "node esbuild.mjs",
    "watch": "node esbuild.mjs --watch",
    "release": "node esbuild.mjs --minify --sourcemap=no",
    "typecheck": "tsc -b .",
    "webpack": "webpack",
    "esbuild-cli": "node esbuild-cli.mjs"
  "repository": {
    "type": "git",
    "url": "git+https://github.com/jscoq/jscoq.git"
  "license": "AGPL-3.0-or-later",