borealis

一个纯OCaml实现的CCSDS协议栈，代号Borealis，在低地球轨道上的DPhi Space ClusterGate-2载荷模块上成功启动，展示了在太空中安全且高性能的OCaml。