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