https://github.com/erg-lang/web-ide
Erg Web IDE
https://github.com/erg-lang/web-ide
editor erg playground
Last synced: about 1 year ago
JSON representation
Erg Web IDE
- Host: GitHub
- URL: https://github.com/erg-lang/web-ide
- Owner: erg-lang
- License: apache-2.0
- Created: 2022-11-18T09:40:43.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2025-02-18T13:07:17.000Z (over 1 year ago)
- Last Synced: 2025-03-21T22:41:23.441Z (about 1 year ago)
- Topics: editor, erg, playground
- Language: TypeScript
- Homepage: https://erg-lang.org/web-ide/
- Size: 104 MB
- Stars: 5
- Watchers: 2
- Forks: 2
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE_APACHE
Awesome Lists containing this project
README
# web-ide
Erg Web IDE
[Try now](https://erg-lang.org/web-ide)
## features
- [x] editor
- [x] pseudo file system
- [x] executing code
- [x] error highlighting
- [x] auto completion
## building
You need to install the Rust toolchain and wasm-pack.
```sh
cargo install wasm-pack
# or
curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
```
```sh
# on Unix
npm run full-build && npm run start
```
```sh
# on Windows
npm run full-build-win && npm run start
```
If you find an error like:
```sh
Module not found: Error: Can't resolve './snippets/rustpython_wasm-1a681ef34bfe87cf/inline1.js' in '...\web-ide\node_modules\erg-playground'
```
move `snippets` folder from `pkg` to `node_modules/erg-playground` (run `npm run copy`).