GitHub repository: uwplse/tamago
Primary language: Rust
Description: Re-implementation of the TASO compiler using equality saturation