SpaceWASM: NASA/JPL's Wasm interpreter for spacecraft sequencing
Summary
SpaceWASM provides a streaming, space-grade WebAssembly runtime with a decoder and interpreter for onboard execution. It enforces deterministic memory and fixed-size memory pages to meet flight software constraints and uses an IR for efficient interpretation. Open-source from Caltech/JPL with emphasis on safety and verifiability.