lean-wasm. An intrinsically-typed interpreter for WebAssembly

github.com/aionescu/lean-wasm

Problem

Audience

Updates

No founder updates yet. Check back soon.