GitHub repository: AeneasVerif/charon
Primary language: Rust
Description: Interface with the rustc compiler for the purpose of program verification