CodeProber playground

A playground for testing CodeProber (https://github.com/lu-cs-sde/codeprober/) without having to download anything to your machine.

Open the playground in Codespaces by:

1. Visit this repository on Github on a laptop or desktop (phone/tablet isn't supported).
2. Click the green "Code" button
3. Click the tab "Codespaces"
4. Click the "+" or big green "Create Codespaces [..]" button

It will load for a while. Once inside, CodeProber should start automatically. In the terminal, you can see a line containing "visit http://localhost:8000". Click the link while holding Ctrl(Windows/Linux) or Cmd(Mac). Alternatively, click the "Ports" tab next to the Terminal, locate the row for port 8000, click the little globe 🌐 that appears when you hover the row.

You are now inside CodeProber, playing with IntraJ (https://github.com/lu-cs-sde/IntraJ).

There are a number of sample exercies/questions in the example_exercises/ directory which can be solved in CodeProber. These files are visible in the left side of CodeProber under "workspace". Then try to use CodeProber to answer the question/challenge within each file.