forked from leanprover-community/lean4web
-
Notifications
You must be signed in to change notification settings - Fork 0
/
package.json
62 lines (62 loc) · 2.1 KB
/
package.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
{
"name": "leanweb",
"private": true,
"version": "0.0.0",
"type": "module",
"bin": {
"server": "server/index.mjs"
},
"scripts": {
"start": "concurrently -n server,client -c blue,green \"npm run start_server\" \"npm run start_client\"",
"start_server": "cd server && NODE_ENV=development nodemon ./index.mjs",
"start_client": "NODE_ENV=development vite --host",
"build": "npm run build_server && npm run build_client",
"build_server": "server/build.sh",
"build_client": "tsc -b && NODE_ENV=production vite build",
"production": "NODE_ENV=production node server/index.mjs",
"dev": "vite",
"lint": "eslint . --ext ts,tsx --report-unused-disable-directives --max-warnings 0",
"preview": "vite preview"
},
"dependencies": {
"@emotion/react": "^11.13.0",
"@emotion/styled": "^11.13.0",
"@fortawesome/free-solid-svg-icons": "^6.6.0",
"@fortawesome/react-fontawesome": "^0.2.2",
"@mui/material": "^5.16.4",
"@types/file-saver": "^2.0.7",
"@types/lz-string": "^1.5.0",
"@uiw/react-codemirror": "^4.23.0",
"concurrently": "^8.2.2",
"express": "^4.19.2",
"file-saver": "^2.0.5",
"ip-anonymize": "^0.1.0",
"lean4monaco": "^1.0.24",
"lz-string": "^1.5.0",
"memfs": "^4.11.1",
"nocache": "^4.0.0",
"node": "^22.6.0",
"nodemon": "^3.1.4",
"react": "^18.3.1",
"react-dom": "^18.3.1",
"react-split": "^2.0.14",
"vscode-ws-jsonrpc": "^3.3.2",
"ws": "^8.18.0"
},
"devDependencies": {
"@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
"@types/node": "^22.0.2",
"@types/react": "^18.3.3",
"@types/react-dom": "^18.3.0",
"@typescript-eslint/eslint-plugin": "^8.0.1",
"@typescript-eslint/parser": "^8.0.1",
"@vitejs/plugin-react-swc": "^3.5.0",
"eslint-plugin-react-hooks": "^4.6.2",
"eslint-plugin-react-refresh": "^0.4.7",
"typescript": "^5.5.4",
"vite": "^5.3.1",
"vite-plugin-node-polyfills": "0.17.0",
"vite-plugin-static-copy": "^1.0.6",
"vite-plugin-svgr": "^4.2.0"
}
}