Rare find

SpaceWasm. A program interpreter built for spacecraft to run code safely in orbit.

github.com/nasa/spacewasm

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

July 2026
  • Decode fuzzer seeds with the matching generator in seed_to_wasm (#71)
  • Remove redundant README section (#72)
  • Expand README with rationale for SpaceWasm (#70)
  • Center readme header (#69)
  • Regression tests for table, memory, chain function imports (#68)
  • Unit tests for alloc.rs (#67)
  • First time contributor PR comment (#66)
  • Refactor tests into regression/core (#65)
  • Increase host module interaction coverage (#63)
  • Clean up readme (#64)
  • Speed up Kani proofs and make sure failed allocs don't change state (…
  • Release —v0.1.2
  • Lower page alignment to 8-bytes (#58)
  • Release —v0.1.1
  • Restrict Opcode Visibility (#57)
  • Refactor Copyright and NOTICE (#52)
  • Fix copyright typos and style (#41)
  • Wasmtime Copyright Notices (#51)
  • Clarify limitations and README (#49)
  • Remove some leftover requirements (#48)
  • Potential fix for code scanning alert no. 5: Access of invalid pointe…
  • Potential fix for code scanning alert no. 6: Workflow does not contai…
  • Release —v0.1.0