GitHub repository: Aarno-Labs/tenjin
Primary language: Rust
Description: A tool suite for translating C to safe Rust (early days!)