GitHub repository: 4ever2/coq-rust-extraction
Description: Coq plugin for extracting Rust code