GitHub repository: shaunstanislauslau/c2rust
Primary language: Rust
Description: C to Rust translation, refactoring, and cross-checking