Pinned Loading

1. chompy chompy Public

   Forked from uwplse/ruler

   Conditional Rewrite Rule Inference Using Equality Saturation

   Rust

2. chompy-egglog chompy-egglog Public

   chomp

   Rust 6 1

3. gussmith23/lakeroad gussmith23/lakeroad Public

   FPGA synthesis tool powered by program synthesis

   Racket 41 6

4. caviar caviar Public

   Forked from caviar-trs/caviar

   Implementing Halide's TRS inside of EGG

   Rust