Newer
Older
{
"name": "jscoq",
"type": "module",
"description": "A port of Coq to JavaScript -- run Coq in your browser",
"main": "frontend/classic/js/index.js",
"browser": {
"path": "path-browserify",
"stream": "stream-browserify",
"tty": false,
"url": false,
"worker_threads": false,
"fs": false,
"crypto": false
"jscoq": "./dist-cli/cli.cjs",
"jscoqdoc": "frontend/classic/js/jscoqdoc.cjs"
"dependencies": {
"browser-or-node": "^2.0.0",
"vue-context-menu": "^2.0.6",
"esbuild": "^0.17.4",
"esbuild-wasm": "^0.17.4",
"style-loader": "^1.1.3",
"terser-webpack-plugin": "^5.3.6",
"ts-loader": "^9.3.1",
"typescript": "^4.7.4",
"vue-template-compiler": "^2.6.12",
"webpack": "^5.74.0",
"webpack-cli": "^4.10.0"
"frontend",
"backend/*.js",
"backend/*.ts",
"backend/jsoo/*.bc.cjs",
"backend/wasm/*.bc",
"coq-pkgs",
"dist",
],
"scripts": {
"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"
},
"author": "ejgallego",
"license": "AGPL-3.0-or-later",
"homepage": "https://jscoq.github.io"