Parsimoni's Borealis project successfully deployed a pure-OCaml CCSDS protocol stack in low Earth orbit, providing end-to-end encryption and post-quantum key rotation. The project showcases OCaml's suitability for space applications due to its safety features and performance, addressing security risks and memory corruption issues in traditional C/C++ codebases.