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