Code Ocean's starter environments 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 starter environment.
Code Ocean can also support languages that don't have a pre-existing environment. To do so:
- From Code Ocean's dashboard, click 'New Compute Capsule'
- In the Environment tab, under 'Starter Environment' select 'Ubuntu Linux 18.04'. This will initiate a compute capsule with no scientific programming languages pre-installed. This will install just the basics, such as git and curl, so you can customize your environment.
- With 'Ubuntu Linux 18.04', you can use the 'apt-get' package manager to install languages and packages, or to install other package managers to configure 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 firstname.lastname@example.org, and we will be happy to help.