Discover our latest posts on #ocaml and explore related insights and stories.
World First: Secure By Design Unikernels in Space - Powered by OCaml
SpaceOS, the world's first purpose-built, secure-by-design operating system for shared payloads and software-defined satellites, launches aboard SpaceX's Transporter-13 mission.
CEO
SpaceOS - Can Other Industries Benefit?
Partners and cybersecurity experts frequently ask whether SpaceOS's industry-first security and efficiency could be adapted to other industries. The answer is yes - through MirageOS.
CEO
What is SpaceOS and why is it on track to become the new standard for satellites?
SpaceOS is a specialized operating system designed for satellite computing that addresses the emerging challenges in the NewSpace industry. Built on unikernel technology and OCaml, it offers complete isolation between user software with effortless updates, enabling multiple users to operate applications simultaneously on shared satellite infrastructure.
CEO
OCaml in Space - Welcome SpaceOS!
Our mission is to build sustainable and secure software infrastructure that will not only work for decades but also positively impact the world. This includes our work on essential open-source libraries and tooling in the OCaml space, but also extends to include cutting-edge innovation through Mirag…
