GitHub repository: JetBrains-Research/verified-cogen
Primary language: Rust
Description: Repo for PLAN's verified code generation project