GitHub repository: secure-foundations/rWasm
Primary language: Rust
Description: A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler