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 'Add Capsule'
In the Environment tab, under 'Starter Environment' select 'Ubuntu Linux (20.04.2)'. 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 (20.04.2)', 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 MOSEK on Code Ocean (note that this is an optimization toolbox compatible with multiple languages)
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 support@codeocean.com, and we will be happy to help.