GitHub repository: AU-COBRA/lambda-box-extraction
Primary language: Coq
Description: Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml