GitHub repository: AU-COBRA/coq-rust-extraction
Primary language: Coq
Description: Coq plugin for extracting Rust code