This spectrum includes GNC algorithms (Rust, C++), application software on flight computers (Rust, C++), to embedded software on microcrontrollers (Rust, C++),to operating systems (Rust, C++, C), to HDL programming (VHDL, SystemVerilog), to test systems (Python), and many things inbetween. Engineered to survive the harshest radiation environments and to fully capitalize on today's and tomorrow's massive rockets, K2 satellites deliver unmatched capability at constellation scale and across multiple orbits.