GitHub repository: GaloisInc/language-rust
Primary language: Haskell
Description: Parser and pretty-printer for the Rust language