GitHub repository: uw-pluverse/perses
Primary language: Rust
Description: language-agnostic program reducer.