Bobkonf, March 13th 2026
There are several options to set up your environment to run the exercises in this repository, depending on your preferences and existing setup. All options will provide an environment with OCaml 5.4.0 and the necessary dependencies to run the exercises. Unfortunately, we are not able to make one of the tool (TSan) works in Codespaces but a work around is proposed in the exercise. Using Codespaces is still the fastest option.
You can run the exercises in your browser, using the provided devcontainer setup, in GitHub Codespaces. Just select “Create codespace on main” from the “Codespaces” tab in the “Code” menu. You'll get started in a few minutes.
If you already have your own OCaml environment installed, clone this repository and see SETUP for details
You need to clone this repository first.
For this option, you need docker and the Dev Containersextension for VS Code.
Launch the devcontainer in VS Code :
CTRL+SHIFT+P- select “Dev Containers: Reopen in Container”
- choose the first container (not the oxcaml one).
To close the container, select “Dev Containers: Reopen Folder Locally” from the same menu.
Launch the devcontainer tool on the command line (requires npm), inside the clone:
npm install -g @devcontainers/clidevcontainer updevcontainer exec opam switch
You can also use the gh tool: gh codespace ssh (if you haven't created a codespace in your browser, you can do it using gh codespace create lyrm/bobkonf2026)