OCaml is in space! With its impressive performance and security guarantees, OCaml is a great choice for the many interconnected devices that power our world. Satellites are not only crucial to the functioning of these devices, but the new generation of satellites are beginning to function like Cloud servers, where one device hosts more than one software and performs more than one service. The natural next step, considering the growing need for agile multi-purpose satellites and the suitabilit...