Code Ocean's base images attempt to cover the majority of scientific use cases. If you need more than one language, you can set that up starting from a pre-existing image.
Code Ocean can also support languages that don't have a pre-existing base image. To do so:
- From Code Ocean's dashboard, click 'New Compute Capsule'
- For language, select 'Other' (This will initiate a compute capsule with no scientific programming languages pre-installed)
- Click the 'Environment & Dependencies' icon in the top right of your screen to begin configuring your computational environment.
Code Ocean provides setup instructions for a number of additional languages, as well as examples. For instance:
- Installing and using D on Code Ocean
- Installing LaTeX on Code Ocean
- Installing MOSEK on Code Ocean (note that this is an optimization toolbox compatible with multiple languages)
- Using VHDL (by installing GHDL) on Code Ocean
- Installing and Using IDL on Code Ocean
- For a published capsule using the theorem prover Coq, see A Simple Soundness Proof for DOT.
If you have additional languages that you would like us to support, please reach out through live chat or by emailing email@example.com, and we will be happy to help.