Method 1

Try it out online!

Method 2

To use without the backend / frontend functionality:

1. Compile the wiles-base package by running the compile_base.sh script.

2. Run the function main within wiles.Main, with the input file as an argument. For instance, when using the JAR file Wiles.jar, run the command:

java -jar Wiles.jar --file=example.wiles

You can also compile the source code by adding --compile as an argument, and run a compiled file using --run.

Method 3

Using the backend and frontend locally.

You can either:

• Run only the backend, which will deploy the frontend statically, by running run_dev.sh and opening localhost:8080.
• Run the backend and frontend servers at the same time, by also running npm run dev and opening localhost:3000.

Method 4

Deploy the backend online, in production mode.

Pull the repository from GitHub, configure the TLS credentials in wiles-web-backend’s application.yaml file, and then run the run_prod.sh script.

Use tmux to run the script in a session, so that logging out of the terminal will not stop the app.