The following software is used by CoCalc under the hood It’s either installed directly or slightly modified to fit into the infrastructure Besides that  there is a more detailed and fairly up-to-date list available