GitHub repository: lemastero/agda2rust
Primary language: Haskell
Description: Rust Agda backend.