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