Wiles

Logo

View the Project on GitHub Alex-Costea/Wiles

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:

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.